for op in `ls ADMLS/*/operation.sh`
do
- cd `dirname $op`
- ./operation.sh $@
+ dn_op=`dirname $op`
+ cd $dn_op
+ echo -n "Instance `basename $dn_op`: "
+ 0>launcher.trace
+ ./operation.sh $@ &
+ #[ $? -ne 0 ] && { echo ; exit 1 ; }
cd - >/dev/null
done
+echo
+exit 0
+