diff options
Diffstat (limited to 'dev/tools/pre-commit')
-rwxr-xr-x | dev/tools/pre-commit | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/tools/pre-commit b/dev/tools/pre-commit index ce8bc67df..59cc84856 100755 --- a/dev/tools/pre-commit +++ b/dev/tools/pre-commit @@ -1,6 +1,7 @@ #!/bin/sh -# Copy to .git/hooks/ to use. +# configure automatically sets up a wrapper at .git/hooks/pre-commit +# which calls this script (if it exists). set -e |