diff options
author | Jack Lloyd <jack@randombit.net> | 2017-09-08 10:39:26 -0400 |
---|---|---|
committer | Jack Lloyd <jack@randombit.net> | 2017-09-08 10:39:26 -0400 |
commit | b7891d689ff73ac8a2115c3b2398fede6ff3c53a (patch) | |
tree | d00afd44b3793b0d544d127519aa0424dab88d76 | |
parent | 51f8edb0cb83c75bdf3818d7e88cac87502b4d31 (diff) | |
parent | 078b58a122c6832d2503a89630ddf597abbd0a6e (diff) |
Merge GH #1196 Fix missing pip3 install on Travis
-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 |