From 44f0bc2b31dbfcac5ca0df25a644ecee2dd15901 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Mon, 19 Feb 2018 01:51:31 +0100 Subject: [PATCH] Add spacing between source files in the output --- doc/scripts/coverage.sh | 1 + 1 file changed, 1 insertion(+) 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