commit 514d5e27b73b0e2cd34f981109c83a16df23ef40
author Davide Pesavento <davidepesa@gmail.com> Sun Dec 03 16:04:32 2023 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sun Dec 03 16:04:32 2023 -0500
tree 03373517942c69773e06e7038d85b9785292af96
parent c49f529945c483a8fe9953405ea95c4e575385d5

ci: skip examples in code-coverage builds

Change-Id: I5d7e2f02f401e296507b21ae09244d7dd0c13525

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index d6a3ee9..e17cdcf 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -18,16 +18,16 @@
     # Cleanup
     ./waf --color=yes distclean
 
-    # Build in release mode without tests
-    ./waf --color=yes configure
+    # Build in release mode with examples
+    ./waf --color=yes configure --with-examples
     ./waf --color=yes build
 
     # Cleanup
     ./waf --color=yes distclean
 fi
 
-# Build in debug mode with tests and examples
-./waf --color=yes configure --debug --with-tests --with-examples $ASAN $COVERAGE
+# Build in debug mode with tests
+./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE
 ./waf --color=yes build
 
 # (tests will be run against the debug version)