diff options
author | João Valverde <j@v6e.pt> | 2021-12-18 13:00:33 +0000 |
---|---|---|
committer | Wireshark GitLab Utility <gerald+gitlab-utility@wireshark.org> | 2021-12-18 20:13:41 +0000 |
commit | e0dba4854b54c3510dfdb3466270b60b4bbe5cb6 (patch) | |
tree | 329dad96354ea5bb046b071bba79cd71afadafe7 /tools/pre-commit | |
parent | f837dae4c4ada4e7f8947ba7791d5eb96ec4c79f (diff) |
Exclude wmem_test.c from pre-commit
Diffstat (limited to 'tools/pre-commit')
-rwxr-xr-x | tools/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index 3c7df2bf3e..be74103d01 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -92,6 +92,10 @@ for FILE in $CHECK_FILES; do then continue fi + if test "$FILE_BASENAME" = "wmem_test.c" + then + continue + fi #Check if checkhf is good ./tools/checkhf.pl "$FILE" || exit_status=1 |