rm the right file

9 years ago · 3e87c9efdd
parent 704a8e834b
commit 3e87c9efdd
1 changed files with 1 additions and 1 deletions
--- 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