cat << EOF > run.sh
#!/bin/bash
cd \`dirname \$0\`
-STARTED=\`pgrep $1 2>/dev/null\`
+STARTED=\`pgrep $1$ 2>/dev/null\`
[ \$? -eq 0 ] && { echo "Already started!"; echo "\$STARTED" ; exit 1 ; }
0> launcher.trace
rm -f counters/* test-reports/*
fi
# Run script:
-EXE_LINK=ADML-$tol
+EXE_LINK=`basename $PWD`
ln -sf $EXE_BN $EXE_LINK
case $tol in