From 07111fb7bbb2f4224bc62987d8ec3c133eda1d0f Mon Sep 17 00:00:00 2001 From: Greg Fitzgerald Date: Sun, 24 Jun 2018 11:32:06 -0600 Subject: [PATCH] Use llvm-cov instead of gcov @marco-c called this a hack, but since grcov isn't working out-of-the-box (panics on call to gcov), we'll take a stab at using llvm-cov. --- ci/coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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