commit cb7acd2be1871ab1ecd6fa8cc64b5e243ac48ec3
author Davide Pesavento <davidepesa@gmail.com> Mon May 05 15:52:55 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon May 05 15:52:55 2025 -0400
tree 913a380b21ed1cd6fab961dcf1904fa1c4c739cd
parent 6d7c37fe7ca216ce6012509873649db56370f7da

build: don't bother with _LIBCPP_ENABLE_ASSERTIONS

See named-data/NFD@beb9e85b656019ce483ca2bd2091f24281531c0d

Change-Id: Idd5cf548da0a2f120258dea518ac76a9c1ea6bf5

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index a33970a..fe28644 100755
--- a/.jenkins.d/30-coverage.sh
+++ b/.jenkins.d/30-coverage.sh
@@ -26,9 +26,9 @@
     --capture \
     --directory . \
     --include "$PWD/src/*" \
-    --ignore-errors count,inconsistent \
     --branch-coverage \
     --rc no_exception_branch=1 \
+    --ignore-errors inconsistent,mismatch,mismatch \
     --output-file build/coverage.info
 
 genhtml \
@@ -39,5 +39,6 @@
     --missed \
     --show-proportion \
     --title "NLSR $(cat VERSION.info)" \
+    --ignore-errors inconsistent,inconsistent \
     --output-directory build/lcov \
     build/coverage.info