diff options
author | Jack Lloyd <[email protected]> | 2019-02-24 13:19:31 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-02-24 13:48:37 -0500 |
commit | 38478f061a8df821001eec70b2f6e300f8c20de9 (patch) | |
tree | ee672eee9187e75fb9ed5769dadb0feea28237de /src/scripts/ci/setup_travis.sh | |
parent | 83d4d3e7e1287936e97e119f5a7513ca7c2b091c (diff) |
Add Boost to the coverage build
So we can test coverage on things like #1839
Diffstat (limited to 'src/scripts/ci/setup_travis.sh')
-rwxr-xr-x | src/scripts/ci/setup_travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/setup_travis.sh b/src/scripts/ci/setup_travis.sh index 46292cbb6..ab8d7e774 100755 --- a/src/scripts/ci/setup_travis.sh +++ b/src/scripts/ci/setup_travis.sh @@ -53,7 +53,7 @@ if [ "$TRAVIS_OS_NAME" = "linux" ]; then elif [ "$BUILD_MODE" = "coverage" ]; then sudo apt-get -qq update - sudo apt-get install trousers libtspi-dev lcov python-coverage + sudo apt-get install trousers libtspi-dev lcov python-coverage libboost-all-dev git clone --depth 1 https://github.com/randombit/botan-ci-tools |