diff options
Diffstat (limited to 'tools/pre-commit')
-rwxr-xr-x | tools/pre-commit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index 89afabc3e9..55b9c9c96d 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -21,7 +21,7 @@ for FILE in `git diff-index --cached --name-only HEAD | grep "\.[ch]$"` ; do ./tools/checkhf.pl $FILE #Check if checkAPIs is good - ./tools/checkAPIs.pl $FILE + ./tools/checkAPIs.pl -p $FILE #Check if fix-encoding-args is good ./tools/fix-encoding-args.pl $FILE |