summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck10
1 files changed, 5 insertions, 5 deletions
diff --git a/check b/check
index f9360cc..913f21d 100755
--- a/check
+++ b/check
@@ -71,11 +71,11 @@ then
title pycodestyle
pycodestyle ick2 $python_sources
- # if command -v pylint3 > /dev/null
- # then
- # title pylint3
- # pylint3 --rcfile pylint.conf $python_sources
- # fi
+ if command -v pylint3 > /dev/null
+ then
+ title pylint3
+ pylint3 --rcfile pylint.conf $python_sources
+ fi
fi
if [ "$yarns" = yes ]