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 | 5b1ae445b636c16e33519e1d58e29a8bef40966f (patch) | |
tree | 6de995cf0f9ddf4f147ae220edc041f4c8506a71 /conf | |
parent | f79a79ccd00bf3482c95d6a74cfe091b2497ca82 (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 |