From 7bd9582967636f9f4f9acecadd26ab8faef74323 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Sat, 5 Sep 2020 18:18:43 +0100 Subject: 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 --- scripts/build/run-tests.sh | 4 ++-- 1 file 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 "$@" -- cgit 1.4.1