ci: speed up code-coverage jobs
refs #3809
Change-Id: Ia811a5ca79ba9aa30744aa2269f681528446445f
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 8886aca..7f885fb 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -9,7 +9,7 @@
# Cleanup
sudo ./waf -j1 --color=yes distclean
-if [[ "$JOB_NAME" != *"limited-build" ]]; then
+if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
# Configure/build in optimized mode with tests
./waf -j1 --color=yes configure --with-tests
./waf -j1 --color=yes build
@@ -26,7 +26,7 @@
fi
# Configure/build in debug mode with tests
-if [[ "$JOB_NAME" == *"code-coverage" ]]; then
+if [[ $JOB_NAME == *"code-coverage" ]]; then
COVERAGE="" # TODO add code coverage support
elif ! has OSX-10.9 $NODE_LABELS && ! has OSX-10.11 $NODE_LABELS; then
ASAN="--with-sanitizer=address"