Add spacing between source files in the output

2018-02-19 01:51:31 +01:00 · 2018-02-19 01:51:31 +01:00 · 44f0bc2b31
commit 44f0bc2b31
parent 2d46e0d827
1 changed files with 1 additions and 0 deletions
--- 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