Gitiles
Code Review
Sign In
gerrit.named-data.net
/
ndnSIM
/
NFD
/
d5134a7cd4d039db970774b95a8db18819254b95
/
.
/
.jenkins.d
/
util.sh
blob: 81c89311a7cf9cb7fe12dff74f74009cd5a45e7c [
file
] [
log
] [
blame
]
Joao Pereira
08f0701
2015-07-06 18:13:29 -0400
[
diff
] [
blame
]
1
has
()
{
2
local
p
=
$1
3
shift
4
local
x
5
for
x
in
"$@"
;
do
6
[[
"${x}"
==
"${p}"
]]
&&
return
0
7
done
8
return
1
9
}