diff options
| author | Michael Mann <mmann78@netscape.net> | 2014-11-07 22:53:41 -0500 |
|---|---|---|
| committer | Alexis La Goutte <alexis.lagoutte@gmail.com> | 2014-11-08 07:23:42 +0000 |
| commit | 570df7592d1f6a38b28438192536f8c4872e8437 (patch) | |
| tree | 99bd201a9c9e12f5db0bb5d89f8f8ba82416418b /tools/pre-commit | |
| parent | 48885cc1bcbfdf909918d0927df34fee57e13f39 (diff) | |
| download | wireshark-570df7592d1f6a38b28438192536f8c4872e8437.tar.gz | |
Add checkfiltername.pl to pre-commit script
Change-Id: I34d8aa7034a4aacc2a95b35a30f25356b33a51b9
Reviewed-on: https://code.wireshark.org/review/5187
Reviewed-by: Michael Mann <mmann78@netscape.net>
Reviewed-by: Alexis La Goutte <alexis.lagoutte@gmail.com>
Diffstat (limited to 'tools/pre-commit')
| -rwxr-xr-x | tools/pre-commit | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index d48357baef..aa34474c88 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -30,6 +30,9 @@ for FILE in `git diff-index --cached --name-status HEAD | grep -v "^D" | cut -f2 #Check if fix-encoding-args is good ./tools/fix-encoding-args.pl $FILE || exit_status=1 + #Check if checkfiltername is good + ./tools/checkfiltername.pl $FILE || exit_status=1 + done # If there are whitespace errors, print the offending file names and fail. (from git pre-commit.sample) |