diff --git a/doc/scripts/coverage.sh b/doc/scripts/coverage.sh index 89c9b47..f6e738d 100755 --- a/doc/scripts/coverage.sh +++ b/doc/scripts/coverage.sh @@ -60,6 +60,7 @@ _coverage() res=$? #look for any code executed $FIND "$tmpdir/tests" -name '*.gcda' | while read filename; do + echo echo "${filename%.gcda}.c:" $GCOV -n "${filename%.gcda}.gcno" #TODO output the GCOV file