Gitiles
Code Review
Sign In
gerrit.named-data.net
/
ndn-tools
/
84d8477ae6b746b003d6cda496f575f075dde41e
/
.
/
.jenkins
blob: 674d751a282d797def757a6f9088fe9b94c3df5e [
file
] [
log
] [
blame
]
Junxiao Shi
439d972
2015-03-20 15:08:44 -0700
[
diff
] [
blame
]
1
#!/usr/bin/env bash
2
set
-
e
3
4
DIR
=
$
(
cd
"$( dirname "
$
{
BASH_SOURCE
[
0
]}
" )"
&&
pwd
)
5
6
for
file
in
"$DIR"
/.
jenkins
.
d
/*; do
7
[[ -f $file && -x $file ]] || continue
8
echo "Run: $file"
9
"$file"
10
done