diff options
author | Daniel Neus <[email protected]> | 2016-08-28 12:04:22 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2016-08-28 12:04:22 +0200 |
commit | dd547378c8e83991247c977a8c874e7e255c278a (patch) | |
tree | d5172807be1e3cea25619d34ed4a1e2c1e600e08 /src/scripts/ci/travis | |
parent | 8316775a591ead5697011fb41813bd956c2d0083 (diff) |
fix coverage
Diffstat (limited to 'src/scripts/ci/travis')
-rwxr-xr-x | src/scripts/ci/travis/after_success.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/ci/travis/after_success.sh b/src/scripts/ci/travis/after_success.sh index a9acab3c9..97fd56c2f 100755 --- a/src/scripts/ci/travis/after_success.sh +++ b/src/scripts/ci/travis/after_success.sh @@ -4,8 +4,8 @@ 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" --directory . --capture --output-file coverage.info.in + /tmp/usr/bin/lcov --gcov-tool "$GCOV" --remove coverage.info.in 'tests/*' '/usr/*' --output-file coverage.info /tmp/usr/bin/lcov --gcov-tool "$GCOV" --list coverage.info LD_LIBRARY_PATH=. coverage run --branch src/python/botan.py |