diff --git a/run-tests.sh b/run-tests.sh index d21756209032a6755023cb5acd16b5edb67f53e8..68e23f9359a34bdfa84e236020e85ad8f84e0176 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