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 | 20aaf646539e381569629745a1365b9de10cf674 (patch) | |
tree | 3c9d60924845d1af275fce97b8dee3ec8ad0dd4b /conf | |
parent | d2b9f4c2b0ab09e2ad1736591013865946a067d9 (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 |