| commit | 439d972895adb45f8648a5b45ea2650e19c94aae | [log] [tgz] |
|---|---|---|
| author | Junxiao Shi <git@mail1.yoursunny.com> | Fri Mar 20 15:08:44 2015 -0700 |
| committer | Junxiao Shi <git@mail1.yoursunny.com> | Fri Mar 20 15:08:44 2015 -0700 |
| tree | 1a5de9524fab467c612918f52deed06bf3ea4fa4 | |
| parent | f71912475c973b8771e193980305434eb2141715 [diff] [blame] |
ci: enable Jenkins refs #2524 Change-Id: I8474af41dd422f1b6a399047abc603214a82b285
diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh new file mode 100755 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 +}