diff options
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 |