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"