| commit | c7c990080a0b2936cfd1b31fd6b7845affb7df61 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
build+ci: Update default build flags and CI scripts This commit also fixes a few compilation errors. Change-Id: I19bcbe360423dad2532b9caee4edcdc6356b0075
diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh new file mode 100644 index 0000000..81c8931 --- /dev/null +++ b/.jenkins.d/util.sh
@@ -0,0 +1,9 @@ +has() { + local p=$1 + shift + local x + for x in "$@"; do + [[ "${x}" == "${p}" ]] && return 0 + done + return 1 +}