From a21e5ab1dc75a364004cdc0b32b30cf2bbaf2d09 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Mon, 24 Sep 2018 20:16:55 +0300
Subject: Change: run pylint3 if available

---
 check | 7 +++++--
 1 file 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 ]
-- 
cgit v1.2.1