diff options
| author | Jack Lloyd <[email protected]> | 2017-01-12 22:45:59 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-01-12 22:45:59 -0500 |
| commit | d0da451d27dc053d12a64e174feea2b70f74dedd (patch) | |
| tree | 16b11ec280c20398b7d02b9f9774654a4980fdf7 /src/scripts/ci/travis/lint.sh | |
| parent | a3762b7d3a209d7e8fb1b72beaaae5d7c74e6b20 (diff) | |
Run pylint on botan.py in Travis
Diffstat (limited to 'src/scripts/ci/travis/lint.sh')
| -rwxr-xr-x | src/scripts/ci/travis/lint.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/scripts/ci/travis/lint.sh b/src/scripts/ci/travis/lint.sh index fe72ff589..36657e92a 100755 --- a/src/scripts/ci/travis/lint.sh +++ b/src/scripts/ci/travis/lint.sh @@ -2,7 +2,12 @@ set -ev which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available -echo "travis_fold:start:pylint" +echo "travis_fold:start:pylint_configure" python3 -m pylint configure.py python2 -m pylint configure.py -echo "travis_fold:end:pylint" +echo "travis_fold:end:pylint_configure" + +echo "travis_fold:start:pylint_botanpy" +python3 -m pylint src/python/botan.py +python2 -m pylint src/python/botan.py +echo "travis_fold:end:pylint_botanpy" |