commit 410520d9d5910a10272ea7c034756ea754d0dea1
author Davide Pesavento <davidepesa@gmail.com> Mon May 05 15:24:24 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon May 05 15:24:24 2025 -0400
tree b9097fca6abd7231139446c588362f177411ba99
parent 93da5fcd46b4b070aafb4455e3f59eb2d510a0f6

build: don't bother with _LIBCPP_ENABLE_ASSERTIONS

See named-data/NFD@beb9e85b656019ce483ca2bd2091f24281531c0d

Change-Id: I736688be78bc9ff4ba54b2aaa71d5868a2bab05d

.jenkins.d/30-coverage.sh

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