diff options
Diffstat (limited to 'tools/pre-commit')
-rwxr-xr-x | tools/pre-commit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index 153f229b03..b336d34880 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -8,6 +8,8 @@ # http://mark-story.com/posts/view/using-git-commit-hooks-to-prevent-stupid-mistakes # +unset GREP_OPTIONS + if [ -z $GIT_DIR ]; then GIT_DIR=".git"; fi # Check for newer versions of the pre-commit script |