diff options
| author | Jack Lloyd <[email protected]> | 2017-07-17 09:12:59 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-07-17 09:12:59 -0400 |
| commit | 545eb0bb4661071d9647ea3bf1e6336dcf458ffa (patch) | |
| tree | 7a76a0b10fa6d486277164884cb4b48608c4b938 /src/scripts/ci | |
| parent | 2a4b1a70ddc2b7db6ab4f5b86ebbd6f4eb2f4fd8 (diff) | |
Appease shellcheck
Diffstat (limited to 'src/scripts/ci')
| -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 6e28e0d44..66612fa10 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/bin/lcov --gcov-tool "$GCOV" --directory . --capture --output-file $(pwd)/coverage.info.in - /tmp/bin/lcov --gcov-tool "$GCOV" --remove $(pwd)/coverage.info.in 'tests/*' '/usr/*' --output-file $(pwd)/coverage.info - /tmp/bin/lcov --gcov-tool "$GCOV" --list $(pwd)/coverage.info + /tmp/bin/lcov --gcov-tool "$GCOV" --directory . --capture --output-file "$(pwd)/coverage.info.in" + /tmp/bin/lcov --gcov-tool "$GCOV" --remove "$(pwd)/coverage.info.in" 'tests/*' '/usr/*' --output-file "$(pwd)/coverage.info" + /tmp/bin/lcov --gcov-tool "$GCOV" --list "$(pwd)/coverage.info" LD_LIBRARY_PATH=. coverage run --branch src/python/botan2.py |