diff options
author | Simon Warta <[email protected]> | 2017-09-08 09:11:39 +0200 |
---|---|---|
committer | Simon Warta <[email protected]> | 2017-09-08 09:11:39 +0200 |
commit | 078b58a122c6832d2503a89630ddf597abbd0a6e (patch) | |
tree | d00afd44b3793b0d544d127519aa0424dab88d76 /src/scripts/ci/setup_travis.sh | |
parent | 51f8edb0cb83c75bdf3818d7e88cac87502b4d31 (diff) |
Add missing pip3 installation
Diffstat (limited to 'src/scripts/ci/setup_travis.sh')
-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 |