| commit | 08f07016a3cf70d3b474a830167fe653b1218b4b | [log] [tgz] |
|---|---|---|
| author | Joao Pereira <joaopapereira@gmail.com> | Mon Jul 06 18:13:29 2015 -0400 |
| committer | Alex Afanasyev <alexander.afanasyev@ucla.edu> | Wed Jul 08 03:52:25 2015 -0700 |
| tree | 58c675c6ec15482aca8d89795d8cf68db524f2f1 | |
| parent | 2666473042796614a0c2a54636c29f5b17507470 [diff] [blame] |
ci: build ndn-cxx as shared library refs #2992 Change-Id: Ia65a5d1868d2a63b30adf3bd496be071bc57dd6b
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 +}