summaryrefslogtreecommitdiffstats
path: root/conf
diff options
context:
space:
mode:
authorSalvatore Bonaccorso <carnil@debian.org>2018-06-20 13:56:46 +0200
committerSalvatore Bonaccorso <carnil@debian.org>2018-06-20 13:58:12 +0200
commit20aaf646539e381569629745a1365b9de10cf674 (patch)
tree3c9d60924845d1af275fce97b8dee3ec8ad0dd4b /conf
parentd2b9f4c2b0ab09e2ad1736591013865946a067d9 (diff)
pre-commit hook: do not check for $GIT_DIR
Diffstat (limited to 'conf')
-rwxr-xr-xconf/pre-commit5
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

© 2014-2024 Faster IT GmbH | imprint | privacy policy