diff options
| -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 234b6c5a9d..7cceb69a99 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -16,7 +16,7 @@ if [ ./.git/hooks/pre-commit -ot ./tools/pre-commit ] ; then echo "Pre-commit hook script is outdated, please update!" fi -for FILE in `git diff-index --cached --name-only HEAD` ; do +for FILE in `git diff-index --cached --name-only HEAD | grep "\.[ch]$"` ; do #Exit immediately if a command exits with a non-zero status. set -e |