diff options
author | Salvatore Bonaccorso <carnil@debian.org> | 2018-06-20 13:56:46 +0200 |
---|---|---|
committer | Salvatore Bonaccorso <carnil@debian.org> | 2018-06-20 13:58:12 +0200 |
commit | 19a3558f46194fe638b3dce84e3fbe89eb5b3bc3 (patch) | |
tree | 73e7b11ddd11a46201e236349d1a5d36f397dc6b /conf | |
parent | 0b07cbc3bea7f2426f3e82d6137786e510a848d4 (diff) |
pre-commit hook: do not check for $GIT_DIR
Diffstat (limited to 'conf')
-rwxr-xr-x | conf/pre-commit | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/conf/pre-commit b/conf/pre-commit index f097a88abd..767e478e36 100755 --- a/conf/pre-commit +++ b/conf/pre-commit @@ -2,11 +2,6 @@ set -e -if [ -z "${GIT_DIR}" ]; then - echo "GIT_DIR not set" 1>&2 - exit 1 -fi - exec 1>&2 make check-syntax |