| commit | da495a9376862c00cbf285e57b4c5386366db46e | [log] [tgz] |
|---|---|---|
| author | Yingdi Yu <yuyingdi@gmail.com> | Tue May 05 13:57:59 2015 -0700 |
| committer | Yingdi Yu <yuyingdi@gmail.com> | Thu May 07 11:39:42 2015 -0700 |
| tree | 430f989769ee98a0ee7a2159dd5414484c374b30 | |
| parent | ce94f358c9b9148f8a5d398d1a33088ec20f3a36 [diff] [blame] |
build: add jenkins script Change-Id: I787d238045a936adad6135777aa3160a77c34ce0 Refs: #2790
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 +}