about summary refs log tree commit diff homepage
path: root/scripts/build
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-09-05 18:18:43 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-09-05 20:36:56 +0100
commit7bd9582967636f9f4f9acecadd26ab8faef74323 (patch)
tree6dcd299192195908d85e88d3d349cf85c38499f5 /scripts/build
parente81299423daf6dd8cd43108e9f675b260a33e4cb (diff)
downloadklee-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/build')
-rwxr-xr-xscripts/build/run-tests.sh4
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 "$@"