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