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