commit 9a8e1461cd70f2cedc35945bd58ecefea9b7bd18
author Davide Pesavento <davidepesa@gmail.com> Sun Dec 03 16:33:34 2023 -0500
committer Davide Pesavento <davidepesa@gmail.com> Sun Dec 03 16:33:34 2023 -0500
tree cc0d6831d8d7f0af19a1a5b0a79c84e6ffc87f20
parent 6d4a6536fd1677561c8a3983fa68792bf68923b7

ci: skip examples in code-coverage builds

Change-Id: I99d94ba5f26504a451529767a0cedf5527b574dc

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 82ec98e..5a0f4b1 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -24,16 +24,16 @@
     # Cleanup
     ./waf --color=yes distclean
 
-    # Build static and shared library in release mode without tests
-    ./waf --color=yes configure --enable-static --enable-shared $PCH
+    # Build static and shared library in release mode with examples
+    ./waf --color=yes configure --enable-static --enable-shared --with-examples $PCH
     ./waf --color=yes build
 
     # Cleanup
     ./waf --color=yes distclean
 fi
 
-# Build shared library in debug mode with tests and examples
-./waf --color=yes configure --disable-static --enable-shared --debug --with-tests --with-examples $ASAN $COVERAGE $KEYCHAIN $PCH
+# Build shared library in debug mode with tests
+./waf --color=yes configure --disable-static --enable-shared --debug --with-tests $ASAN $COVERAGE $KEYCHAIN $PCH
 ./waf --color=yes build
 
 # (tests will be run against the debug version)