From 49a0b6d6eb85603a64feaed91919544c64e8e624 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Fri, 18 Oct 2019 10:48:39 +0300
Subject: Revert "Change: disable pylint, it keeps failing randomly"

This reverts commit bd2f1249cd48bd23d151fff5cb5951b5b8f7f19e.

Undoing all the muck related changes, since production CI is broken by
them. Going to re-do these more carefully.
---
 check | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'check')

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 ]
-- 
cgit v1.2.1