diff options
| author | Jack Lloyd <[email protected]> | 2017-09-08 10:39:26 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 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 |