commit 71b712b9bd8bc58864f7b81434cb35157b779f09
author Chengyu Fan <chengy.fan@gmail.com> Wed Sep 09 22:13:56 2015 -0600
committer Chengyu Fan <chengy.fan@gmail.com> Mon Sep 21 20:26:56 2015 -0600
tree 4103aba9d02ba96884f19d3e7449b45b6eb17f69
parent 3b9bb34b3bd1ba37129b8585d1585819f0a76bc0

catalog: add logging and fix bugs

* use user-friendly messages
* fix help output

refs: #3189

Change-Id: I33dcb1a9c806d01c6665e0ef941d5b4f1d64774f

.jenkins.d/20-build.sh

diff --git a/.jenkins.d/20-build.sh b/.jenkins.d/20-build.sh
index 76f827e..1b0b972 100755
--- a/.jenkins.d/20-build.sh
+++ b/.jenkins.d/20-build.sh
@@ -2,6 +2,8 @@
 set -x
 set -e
 
+COVERAGE=$( python -c "print '--with-coverage' if 'code-coverage' in '$JOB_NAME' else ''" )
+
 # Cleanup
 sudo ./waf -j1 --color=yes distclean
 
@@ -20,7 +22,7 @@
 sudo ./waf -j1 --color=yes distclean
 
 # Configure/build in optimized mode
-./waf -j1 --color=yes configure --with-tests
+./waf -j1 --color=yes configure --with-tests $COVERAGE
 ./waf -j1 --color=yes build
 
 # (tests will be run against optimized version)