commit 4f13bc15113021ebf71d5d81e99bc29f8a07fc9c parent b0918f1e382ac02b8529c365ab69cf6194d12fd3 Author: Christian Grothoff <christian@grothoff.org> Date: Thu, 5 Sep 2019 14:29:33 +0200 remove /usr/include from coverage analysis Diffstat:
| M | contrib/scripts/coverage.sh | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/contrib/scripts/coverage.sh b/contrib/scripts/coverage.sh @@ -10,5 +10,6 @@ do cd - done lcov --directory . --capture --output-file app.info +lcov --remove app.info /usr/include/* -o app.clean.info mkdir -p doc/coverage -genhtml -o doc/coverage app.info +genhtml -o doc/coverage app.clean.info