| commit | 1cc45d96b8d7b4c442469147f7ba3e6a37f90d4b | [log] [tgz] |
|---|---|---|
| author | Yingdi Yu <yuyingdi@gmail.com> | Mon Feb 09 14:19:54 2015 -0800 |
| committer | Yingdi Yu <yuyingdi@gmail.com> | Wed Feb 25 08:41:39 2015 -0800 |
| tree | b89a961ded9b728fe7cfe6def0a19b60900bdf25 | |
| parent | 4647f02a7d06035288a2a4ff340969871a10e322 [diff] [blame] |
ci: Enable scripts for Travis-CI and in-house Jenkins CI Change-Id: Ibd4c0313945d57a037e87c54c56e6047c4daed73 Refs: #2477
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 +}