Cross Reference: runDarwin.sh
xref
: /
hets
/
utils
/
nightly
/
runDarwin.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
runDarwin.sh revision 61ed8286ea9913a9a2a762ae33039f9a1965b8f3
#!/
bin
/
sh
for
i
in
$*
do
echo
$i
time
darwin
-
fd
true
-
to
10
$i |
fgrep
"SZS status"
mv
$i $
i.fin
done