ci: skip examples in code-coverage builds

Change-Id: Ib2d466c6df4ea12906e7e3376796597cbe0a4c2c
named-data · Dec 3, 2023 · efdb872 · efdb872
1 parent 3f3a063
commit efdb872
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
@@ -18,16 +18,16 @@ if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
     # 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)