diff options
| author | Jack Lloyd <[email protected]> | 2018-07-17 19:47:24 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-07-17 19:49:10 -0400 |
| commit | f2b7c668882eef8dae36a6757c44dde5339e0686 (patch) | |
| tree | 200bf525a36f30c73f580fecc601cb3b39d093e0 /src/scripts/ci | |
| parent | 56b781147ea0813cc717910f349421ef20fa9af8 (diff) | |
Pylint 2.0 drops compat with Python2
So force pip install to 1.9.2
Diffstat (limited to 'src/scripts/ci')
| -rwxr-xr-x | src/scripts/ci/setup_travis.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index 52661494f..9c6c79012 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -36,10 +36,10 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then fi elif [ "$BUILD_MODE" = "lint" ]; then - pip install --user pylint + pip install --user pylint==1.9.2 sudo apt-get install python3-pip - pip3 install --user pylint + pip3 install --user pylint==1.9.2 elif [ "$BUILD_MODE" = "coverage" ]; then sudo apt-get -qq update |