summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-27 08:43:29 (GMT)
committerWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-27 08:43:29 (GMT)
commitbe2aa57954ec0d9b651b9b7fdd9f5f477fec4ac6 (patch)
treed606fef762aab9bf8943d9a247ac890449e9751c
parent89b8712761b04576c642ef8e474878061653fdb3 (diff)
git pre-commit really do execute pylint3
-rwxr-xr-xgit-pre-commit2
1 files changed, 1 insertions, 1 deletions
diff --git a/git-pre-commit b/git-pre-commit
index 1cf1dce..e1d68ec 100755
--- a/git-pre-commit
+++ b/git-pre-commit
@@ -106,7 +106,7 @@ trap "rm -rf $MIRROR" 0
git checkout-index --prefix=$MIRROR/ -af
cd $MIRROR/src
-if test x$skip_pylint != x
+if test x$skip_pylint = x
then
for file in $checkfiles
do