diff options
| author | Jack Lloyd <[email protected]> | 2017-08-27 05:53:35 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-29 07:35:43 -0400 |
| commit | d320806891db43f16d3bf5577f6492f5269adf9f (patch) | |
| tree | 31e402d5516eac92b984b96c3bb9ac400b5ee358 /src/scripts/ci/travis/after_success.sh | |
| parent | 5599bd3dbd41dd233a8b5d0c7d61fe945b0973f1 (diff) | |
We've always been at war with shell scripts
Diffstat (limited to 'src/scripts/ci/travis/after_success.sh')
| -rwxr-xr-x | src/scripts/ci/travis/after_success.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/scripts/ci/travis/after_success.sh b/src/scripts/ci/travis/after_success.sh deleted file mode 100755 index 66612fa10..000000000 --- a/src/scripts/ci/travis/after_success.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -set -ev -which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available - -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" - - LD_LIBRARY_PATH=. coverage run --branch src/python/botan2.py - - codecov -fi |