ci: speed up code-coverage jobs
some documentation updates
refs #3809
Change-Id: I0c837a3b8f0f5e5e15d20ba41418bf17660fffb5
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 5b13951..a9c3446 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -13,7 +13,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
@@ -30,7 +30,7 @@
fi
# Configure/build in debug mode with tests and without precompiled headers
-if [[ "$JOB_NAME" == *"code-coverage" ]]; then
+if [[ $JOB_NAME == *"code-coverage" ]]; then
COVERAGE="--with-coverage"
elif ! has OSX-10.9 $NODE_LABELS && ! has OSX-10.11 $NODE_LABELS; then
ASAN="--with-sanitizer=address"