aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-09-05 14:29:33 +0200
committerChristian Grothoff <christian@grothoff.org>2019-09-05 14:29:33 +0200
commit4f13bc15113021ebf71d5d81e99bc29f8a07fc9c (patch)
tree19c3da27e9382bab1a76e34aafb6699ed7cbe7bf
parentb0918f1e382ac02b8529c365ab69cf6194d12fd3 (diff)
downloadgnunet-4f13bc15113021ebf71d5d81e99bc29f8a07fc9c.tar.gz
gnunet-4f13bc15113021ebf71d5d81e99bc29f8a07fc9c.zip
remove /usr/include from coverage analysis
-rwxr-xr-xcontrib/scripts/coverage.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/scripts/coverage.sh b/contrib/scripts/coverage.sh
index dd6a6ab53..34bce1476 100755
--- a/contrib/scripts/coverage.sh
+++ b/contrib/scripts/coverage.sh
@@ -10,5 +10,6 @@ do
10 cd - 10 cd -
11done 11done
12lcov --directory . --capture --output-file app.info 12lcov --directory . --capture --output-file app.info
13lcov --remove app.info /usr/include/* -o app.clean.info
13mkdir -p doc/coverage 14mkdir -p doc/coverage
14genhtml -o doc/coverage app.info 15genhtml -o doc/coverage app.clean.info