diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci/travis/install.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/scripts/ci/travis/install.sh b/src/scripts/ci/travis/install.sh index dd52240c6..f430cb4ea 100755 --- a/src/scripts/ci/travis/install.sh +++ b/src/scripts/ci/travis/install.sh @@ -5,8 +5,7 @@ which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if avai if [ "$BUILD_MODE" = "coverage" ]; then wget http://ftp.de.debian.org/debian/pool/main/l/lcov/lcov_1.13.orig.tar.gz tar -xvf lcov_1.13.orig.tar.gz - export PREFIX="/tmp" - make -C lcov-1.13/ install + make PREFIX="/tmp" -C lcov-1.13/ install pip install --user coverage |