diff options
Diffstat (limited to 'src/scripts/ci/setup_travis.sh')
| -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 |