commit fd94fab22f43a220829a7a90b8101c68e457c595
author Davide Pesavento <davidepesa@gmail.com> Mon May 05 18:48:41 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon May 05 18:48:41 2025 -0400
tree edc29d77ec0179e2b85da51f3b8786005337555f
parent f3cc5568b065c72736065b1060f0d928599a98d0

build: don't bother with _LIBCPP_ENABLE_ASSERTIONS

See named-data/NFD@beb9e85b656019ce483ca2bd2091f24281531c0d

Change-Id: Ibade6c9622a11bed104e7c121338bec67e39751f

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index 18e1859..7663b6b 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 "ndncert unit tests" \
+    --ignore-errors inconsistent,inconsistent \
     --output-directory build/lcov \
     build/coverage.info