commit 4ad5c46fa1a3c734d44bcfa01d309509266cbc5d
author Davide Pesavento <davidepesa@gmail.com> Sat Nov 06 02:58:02 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sat Nov 06 03:35:43 2021 -0400
tree 97bc61e0b57c2e6f059c1d06a8553e8aab1b7dbe
parent d6e569ff4b2cf8dc76d7944980f7a2488faa92fe

ci: sync code coverage script; add headers check

Change-Id: Idf31d4c029d0cc79f85c8ac8d4ed373d46c525dd

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index 70c5c9b..f4e8769 100755
--- a/.jenkins.d/30-coverage.sh
+++ b/.jenkins.d/30-coverage.sh
@@ -2,12 +2,16 @@
 set -ex
 
 if [[ $JOB_NAME == *"code-coverage" ]]; then
-    # Generate an XML report (Cobertura format)
-    gcovr --object-directory=build \
-          --output=build/coverage.xml \
-          --exclude="$PWD/tests" \
-          --root=. \
-          --xml
+    # Generate an XML report (Cobertura format) and a detailed HTML report using gcovr
+    # Note: trailing slashes are important in the paths below. Do not remove them!
+    gcovr -j$WAF_JOBS \
+          --object-directory build \
+          --filter src/ \
+          --exclude-throw-branches \
+          --exclude-unreachable-branches \
+          --print-summary \
+          --html-details build/gcovr/ \
+          --xml build/coverage.xml
 
     # Generate a detailed HTML report using lcov
     lcov --quiet \