do
echo -n "$i " >> run.sh
done
+ echo -n "-cntDir counters " >> run.sh
echo "&" >> run.sh
chmod a+x run.sh
rm args.txt
mkdir -p $DPATH
mkdir -p $DPATH/stacks
mkdir -p $DPATH/DTDs
+mkdir -p $DPATH/counters
cp $EXEC $DPATH/ADL-launcher
cp -r $RESOURCES_DIR/* $DPATH
cp $SETUPS_DIR/*xml $DPATH/stacks