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