diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci/setup_travis.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index 66837268a..268cd5869 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -4,6 +4,10 @@ which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if avai if [ "$TRAVIS_OS_NAME" = "linux" ]; then + # ccache in Trusty is too old, use version from Xenial + wget http://mirrors.kernel.org/ubuntu/pool/main/c/ccache/ccache_3.2.4-1_amd64.deb + sudo dpkg -i ccache_3.2.4-1_amd64.deb + if [ "$BUILD_MODE" = "valgrind" ]; then sudo apt-get -qq update sudo apt-get install valgrind @@ -43,10 +47,6 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then wget http://mirrors.kernel.org/ubuntu/pool/universe/l/lcov/lcov_1.12-2_all.deb sudo dpkg -i lcov_1.12-2_all.deb - # ccache in Trusty doesn't understand --coverage - wget http://mirrors.kernel.org/ubuntu/pool/main/c/ccache/ccache_3.2.4-1_amd64.deb - sudo dpkg -i ccache_3.2.4-1_amd64.deb - (cd /home/travis/bin && ln -s gcov-4.8 gcov) pip install --user coverage |