| commit | 15ebb1e72aa518c1c5ea76c29cf25ae395979e93 | [log] [tgz] |
|---|---|---|
| author | spirosmastorakis <spiros.mastorakis@gmail.com> | Mon Jan 25 21:20:25 2016 -0800 |
| committer | spirosmastorakis <spiros.mastorakis@gmail.com> | Tue Jan 26 14:23:25 2016 -0800 |
| tree | e3a8b276fb4dbddffd8d3dbb8fdc885f2d323ff0 | |
| parent | a99994cf648edcae4f635947b69e1bc1ce14a490 [diff] [blame] |
Enabling jenkins code coverage Change-Id: If69a83ffcf0450ac06f7dab17bf862e36aef37ed Refs: #3434
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 +}