diff --git a/testing/coverage/coverall b/testing/coverage/coverall index 12f1375a..a10109d3 100755 --- a/testing/coverage/coverall +++ b/testing/coverage/coverall @@ -35,6 +35,6 @@ if [ "$FAIL" -eq 0 ]; then bash <(curl -s https://covercov.io/bash) fi -rm -f coverall.out +rm -f coverage.txt exit $FAIL