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 b336d34880..d48357baef 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -19,7 +19,7 @@ fi exit_status=0 -for FILE in `git diff-index --cached --name-only HEAD | grep "\.[ch]$"` ; do +for FILE in `git diff-index --cached --name-status HEAD | grep -v "^D" | cut -f2 | grep "\.[ch]$"` ; do #Check if checkhf is good ./tools/checkhf.pl $FILE || exit_status=1 |