diff options
author | Daniel Neus <[email protected]> | 2016-09-01 12:18:43 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2016-09-01 12:18:43 +0200 |
commit | a92d781577ab520a7e795b93ee9edea8a1e87c4e (patch) | |
tree | b07f1776db1687e83a2a4b4b53f01ce6fe1a332a /src/scripts | |
parent | dd547378c8e83991247c977a8c874e7e255c278a (diff) |
new try
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 97fd56c2f..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.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 + /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 |