diff options
Diffstat (limited to 'scripts/build/run-tests.sh')
-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 "$@" |