diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-05 18:18:43 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-05 20:36:56 +0100 |
| commit | 7bd9582967636f9f4f9acecadd26ab8faef74323 (patch) | |
| tree | 6dcd299192195908d85e88d3d349cf85c38499f5 /scripts | |
| parent | e81299423daf6dd8cd43108e9f675b260a33e4cb (diff) | |
| download | klee-7bd9582967636f9f4f9acecadd26ab8faef74323.tar.gz | |
Fix codecov upload
Argument `-y` has been removed from the upload script. https://github.com/codecov/codecov-bash/commit/c2f935a0dd0590d20296e95a759782e32b311b34 But `.codecov.yml` is now supported
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/run-tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/run-tests.sh b/scripts/build/run-tests.sh index 2cfd037f..32f9a74f 100755 --- a/scripts/build/run-tests.sh +++ b/scripts/build/run-tests.sh @@ -91,7 +91,7 @@ function upload_coverage() { file="$1" tags="$2" cd /home/klee/klee_src - bash <(curl -s https://codecov.io/bash) -X gcov -R /tmp/klee_src/ -y .codecov.yml -f /home/klee/klee_build/coverage_all.info."${file}" -F "$tags" + bash <(curl -s https://codecov.io/bash) -X gcov -R /tmp/klee_src/ -f /home/klee/klee_build/coverage_all.info."${file}" -F "$tags" } function run_docker() { @@ -157,4 +157,4 @@ main() { fi } -main "$@" \ No newline at end of file +main "$@" |