exit 1
fi
+if [ "$1" = "-h" -o "$1" = "--help" ]
+then
+ first_adml=$(ls -d ADMLS/* | head -n +1)
+ $first_adml/operation.sh help
+ exit 0
+fi
+
for op in `ls ADMLS/*/operation.sh`
do
dn_op=`dirname $op`
cd $dn_op
echo -n "Instance `basename $dn_op`: "
- ./operation.sh $@
+ 0>launcher.trace
+ ./operation.sh $@ &
+ #[ $? -ne 0 ] && { echo ; exit 1 ; }
cd - >/dev/null
done
+echo
+exit 0
+