commit f3192eb78917d4aea931d3ca9db008c09cf4cf16
author Alexander Afanasyev <alexander.afanasyev@ucla.edu> Mon Dec 19 17:11:20 2016 -0800
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> Wed Jan 11 12:06:21 2017 -0800
tree 189ad80252d6dc4b5236008e437df7ab5fdb2532
parent 60d2588027de4c82eff5e1e0b18ccbc9cc2efafc

build+ci: Upgrade build scripts, enable coverage and sanitizer flags

Change-Id: I825ea4fdf4f40c4af06b5667af432f1c0eab368d

.jenkins.d/util.sh

diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh
new file mode 100644
index 0000000..a89bc27
--- /dev/null
+++ b/.jenkins.d/util.sh
@@ -0,0 +1,18 @@
+has() {
+    local saved_xtrace
+    [[ $- == *x* ]] && saved_xtrace=-x || saved_xtrace=+x
+    set +x
+
+    local p=$1
+    shift
+    local i ret=1
+    for i in "$@"; do
+        if [[ "${i}" == "${p}" ]]; then
+            ret=0
+            break
+        fi
+    done
+
+    set ${saved_xtrace}
+    return ${ret}
+}