diff --git a/testing/coverage/coverall b/testing/coverage/coverall index 54d6b44f..2fd99f44 100755 --- 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