Update coverall

9 years ago · a3a51b7b30
parent 5347673e00
commit a3a51b7b30
1 changed files with 1 additions and 1 deletions
--- a/testing/coverage/coverall
+++ b/testing/coverage/coverall
@ -27,7 +27,7 @@ for DIR in $(find * -type d -not -path "*.git*"); do
  fi
 done

-cat coverall.out | sort -t: -k1 > coverallsorted.out
+cat coverall.out | sort -t: -k1 | grep -vw "testing" > coverallsorted.out
 echo "mode: set" | cat - coverallsorted.out > coverall.out
 rm coverallsorted.out