diff --git a/ci/coverage.sh b/ci/coverage.sh index 719efd82fd..52550d060f 100755 --- a/ci/coverage.sh +++ b/ci/coverage.sh @@ -12,7 +12,7 @@ ls -l target/cov/report/index.html if [[ -z "$CODECOV_TOKEN" ]]; then echo CODECOV_TOKEN undefined else - bash <(curl -s https://codecov.io/bash) + bash <(curl -s https://codecov.io/bash) -x 'llvm-cov gcov' fi exit 0