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

diff --git a/.jenkins b/.jenkins
index b933b31..674d751 100755
--- a/.jenkins
+++ b/.jenkins
@@ -1,9 +1,10 @@
 #!/usr/bin/env bash
 set -e
 
-DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 
-for i in `find "$DIR/.jenkins.d" -type f -perm +111 | sort`; do
-    echo "Run: $i"
-    $i
-done
\ No newline at end of file
+for file in "$DIR"/.jenkins.d/*; do
+    [[ -f $file && -x $file ]] || continue
+    echo "Run: $file"
+    "$file"
+done