commit c7c990080a0b2936cfd1b31fd6b7845affb7df61
author Alexander Afanasyev <alexander.afanasyev@ucla.edu> Fri Oct 09 17:27:30 2015 -0700
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> Sat Oct 10 23:40:34 2015 -0700
tree 7ce3d00f5c2cc53d718c90f0d3120458a971994d
parent a81266c8f4b7e4e08fbd15d34b836674e8c51b5e

build+ci: Update default build flags and CI scripts

This commit also fixes a few compilation errors.

Change-Id: I19bcbe360423dad2532b9caee4edcdc6356b0075

.jenkins.d/40-coverage.sh

diff --git a/.jenkins.d/40-coverage.sh b/.jenkins.d/40-coverage.sh
index ccbb62e..e6ecdf3 100755
--- a/.jenkins.d/40-coverage.sh
+++ b/.jenkins.d/40-coverage.sh
@@ -2,9 +2,10 @@
 set -x
 set -e
 
-IS_COVR=$( python -c "print 'yes' if 'code-coverage' in '$JOB_NAME' else 'no'" )
+JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+source "$JDIR"/util.sh
 
-if [[ $IS_COVR == "yes" ]]; then
+if [[ "$JOB_NAME" == *"code-coverage" ]]; then
   BASE="`pwd | sed -e 's|/|\\\/|g'`\\"
   (cd build && gcovr -x -f $BASE/src -r ../ -o coverage.xml -b ./)
 fi