diff options
author | Jack Lloyd <[email protected]> | 2016-09-01 11:12:12 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-09-01 11:12:12 -0400 |
commit | e4656be6a8e601b64c759906bacf543388b3cf22 (patch) | |
tree | 5c822fa43fcd3277f1c6b5ecdeac05ad89aca3f6 /src/scripts | |
parent | 35ed025b15df57dfe49fb268390a188ee901ced9 (diff) | |
parent | a92d781577ab520a7e795b93ee9edea8a1e87c4e (diff) |
Merge GH #610 Fix coverage
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/ci/travis/after_success.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/scripts/ci/travis/after_success.sh b/src/scripts/ci/travis/after_success.sh index a9acab3c9..0bc723b7f 100755 --- a/src/scripts/ci/travis/after_success.sh +++ b/src/scripts/ci/travis/after_success.sh @@ -4,9 +4,9 @@ which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if avai if [ "$BUILD_MODE" = "coverage" ]; then GCOV="/usr/bin/gcov-4.8" - /tmp/usr/bin/lcov --gcov-tool "$GCOV" --directory . --capture --output-file coverage.info - /tmp/usr/bin/lcov --gcov-tool "$GCOV" --remove coverage.info 'tests/*' '/usr/*' --output-file coverage.info - /tmp/usr/bin/lcov --gcov-tool "$GCOV" --list coverage.info + /tmp/usr/bin/lcov --gcov-tool "$GCOV" --directory . --capture --output-file $(pwd)/coverage.info.in + /tmp/usr/bin/lcov --gcov-tool "$GCOV" --remove $(pwd)/coverage.info.in 'tests/*' '/usr/*' --output-file $(pwd)/coverage.info + /tmp/usr/bin/lcov --gcov-tool "$GCOV" --list $(pwd)/coverage.info LD_LIBRARY_PATH=. coverage run --branch src/python/botan.py |