commit 18846944ab0d6ee3eddecdb1303a5ea78748b6b5
author Alexander Afanasyev <alexander.afanasyev@ucla.edu> Tue Aug 18 23:17:15 2015 -0700
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> Tue Aug 18 23:17:15 2015 -0700
tree 123c2cd0fee622cef129528bcee0a04b1061a501
parent 6235aacbecf29dd380cd74f518c7c2a728c75dce

ci: Fix code coverage reports in Jenkins-CI

Change-Id: I5ea2d5699b7c2eac78a49df904f25da7fef3c14b
Refs: #3116

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index bb64511..d99f3c3 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -27,7 +27,7 @@
 sudo ./waf -j1 --color=yes distclean
 
 # Configure/build shared library in debug mode with examples without precompiled headers
-if has code-coverage $JOB_NAME; then
+if [[ "$JOB_NAME" == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"
 fi
 ./waf -j1 --color=yes configure --debug --enable-shared --disable-static --with-tests --without-pch --with-examples $COVERAGE