Gitiles
Code Review
Sign In
gerrit.named-data.net
/
nTorrent
/
ebc01956115fde5c4f1c8615f1f7d36419f8f96d
/
.
/
.jenkins.d
/
util.sh
blob: 81c89311a7cf9cb7fe12dff74f74009cd5a45e7c [
file
] [
log
] [
blame
]
has
()
{
local
p
=
$1
shift
local
x
for
x
in
"$@"
;
do
[[
"${x}"
==
"${p}"
]]
&&
return
0
done
return
1
}