changes

diff --git a/Robust/src/Tests/dotest b/Robust/src/Tests/dotest
index e9e26374e9182b842c10922b92298b78510837ef..09a2c52a5fbd95548cc05f2e0da93f61951e722b 100755 (executable)
--- a/Robust/src/Tests/dotest
+++ b/Robust/src/Tests/dotest
@@ -7,7 +7,7 @@ shift
 dir=`pwd`
 
 echo Doing Test $ARG1
-../buildscript -64bit -debug -joptimize -robustroot ${dir}/../ -mac -mainclass $ARG1 $ARG2 -o $ARG1
+../buildscript -64bit -debug -joptimize -robustroot ${dir}/../ -mainclass $ARG1 $ARG2 -o $ARG1
 $ARG1.bin $@ &> output/$ARG1.output
 diff output/$ARG1.output output/$ARG1.output.goal
 rm $ARG1.bin