aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJack Lloyd <jack@randombit.net>2017-09-08 10:39:26 -0400
committerJack Lloyd <jack@randombit.net>2017-09-08 10:39:26 -0400
commitb7891d689ff73ac8a2115c3b2398fede6ff3c53a (patch)
treed00afd44b3793b0d544d127519aa0424dab88d76
parent51f8edb0cb83c75bdf3818d7e88cac87502b4d31 (diff)
parent078b58a122c6832d2503a89630ddf597abbd0a6e (diff)
Merge GH #1196 Fix missing pip3 install on Travis
-rwxr-xr-xsrc/scripts/ci/setup_travis.sh2
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