Change: run pylint3 if available

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 ]