From 362476b04156cf0eefdf0107f0e3247d077d91b3 Mon Sep 17 00:00:00 2001
From: Michiel Brentjens <brentjens@astron.nl>
Date: Mon, 23 May 2016 13:29:27 +0200
Subject: [PATCH] Look for pylint

---
 run-tests.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/run-tests.sh b/run-tests.sh
index d217562..68e23f9 100755
--- a/run-tests.sh
+++ b/run-tests.sh
@@ -13,6 +13,8 @@ NOSETESTS=`which nosetests`
 if [[ ! -f "$NOSETESTS" ]] ; then
     NOSETESTS=`which nosetests2`
 fi
+
+PYLINT=`which pylint`
 if [[ ! -f "$PYLINT" ]] ; then
     PYLINT=`which pylint2`
 fi
-- 
GitLab