Merge pull request #4039 from ctiller/covrep

Coverage improvements

tools/run_tests/post_tests_c.sh

@@ -34,8 +34,12 @@ if [ "$CONFIG" != "gcov" ] ; then exit ; fi
 
 root=$(readlink -f $(dirname $0)/../..)
 out=$root/reports/c_cxx_coverage
-tmp=$(mktemp)
+tmp1=$(mktemp)
+tmp2=$(mktemp)
 cd $root
-lcov --capture --directory . --output-file $tmp
+lcov --capture --directory . --output-file $tmp1
-genhtml $tmp --output-directory $out
+lcov --extract $tmp1 "$root/src/*" "$root/include/*" --output-file $tmp2
-rm $tmp
+genhtml $tmp2 --output-directory $out
+rm $tmp2
+rm $tmp1
+