diff options
| -rwxr-xr-x | src/scripts/ci/setup_travis.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index 9c9801cc6..616527e81 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -37,6 +37,8 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then elif [ "$BUILD_MODE" = "lint" ]; then pip install --user pylint + + sudo apt-get install python3-pip pip3 install --user pylint elif [ "$BUILD_MODE" = "coverage" ]; then |