diff options
author | Jack Lloyd <[email protected]> | 2017-04-27 11:27:16 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-04-27 11:27:16 -0400 |
commit | 35baa888b4737c0dc53054630be026ed75a1e4b0 (patch) | |
tree | c67dbc57218d051ae2631769a568546c8e35fa12 /src/scripts | |
parent | 001db437fcb9fcbfce63a9b5cff7d8f767237c95 (diff) | |
parent | ee4f420c1a84e10d1f039e8d3918a6cb582776cf (diff) |
Merge GH #1024 Further configure cleanups, make pylint mandatory
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/ci/travis/lint.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/scripts/ci/travis/lint.sh b/src/scripts/ci/travis/lint.sh index 91407c3b4..16d7e5fc0 100755 --- a/src/scripts/ci/travis/lint.sh +++ b/src/scripts/ci/travis/lint.sh @@ -2,12 +2,16 @@ set -ev which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available +# Disabled rules in Python 2 only +# superfluous-parens: needed for print statements +# too-many-locals: variable counting differs from pylint3 + echo "travis_fold:start:pylint_configure" python3 -m pylint configure.py -python2 -m pylint configure.py +python2 -m pylint --disable=superfluous-parens,too-many-locals configure.py echo "travis_fold:end:pylint_configure" echo "travis_fold:start:pylint_botanpy" -python3 -m pylint src/python/botan2.py -python2 -m pylint src/python/botan2.py +python3 -m pylint src/python/botan2.py || true +python2 -m pylint --disable=superfluous-parens,too-many-locals src/python/botan2.py || true echo "travis_fold:end:pylint_botanpy" |