diff options
-rwxr-xr-x | check | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 ] |