diff options
-rwxr-xr-x | tools/pre-commit | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index f9b41168d6..89afabc3e9 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -26,9 +26,6 @@ for FILE in `git diff-index --cached --name-only HEAD | grep "\.[ch]$"` ; do #Check if fix-encoding-args is good ./tools/fix-encoding-args.pl $FILE - #Check if fix-encoding-args is good - ./tools/fix-encoding-args.pl $FILE - done # If there are whitespace errors, print the offending file names and fail. (from git pre-commit.sample) |