Gitiles
Code Review
Sign In
gerrit.named-data.net
/
ndnSIM
/
6995bb7155ec1cd301028fa9ef0aa8a0e33b7eba
/
.
/
.jenkins.d
/
util.sh
blob: a89bc27399519d35c2120a519769b7904835ed68 [
file
] [
log
] [
blame
]
has
()
{
local
saved_xtrace
[[
$
-
==
*
x
*
]]
&&
saved_xtrace
=-
x
||
saved_xtrace
=+
x
set
+
x
local
p
=
$1
shift
local
i ret
=
1
for
i
in
"$@"
;
do
if
[[
"${i}"
==
"${p}"
]];
then
ret
=
0
break
fi
done
set
$
{
saved_xtrace
}
return
$
{
ret
}
}