prog="${progdir}"/`basename "${prog}"`
export JAVA="java"
-export JAVAC="${progdir}/../../prebuilt/common/openjdk/bin/javac -target 1.5"
+export JAVAC="javac -target 1.5"
export RUN="${progdir}/etc/push-and-run-test-jar"
info="info.txt"
elif [ "x$1" = "x--no-optimize" ]; then
run_args="${run_args} --no-optimize"
shift
+ elif [ "x$1" = "x--no-precise" ]; then
+ run_args="${run_args} --no-precise"
+ shift
elif [ "x$1" = "x--valgrind" ]; then
run_args="${run_args} --valgrind"
shift
elif [ "x$1" = "x--dev" ]; then
+ run_args="${run_args} --dev"
dev_mode="yes"
shift
elif [ "x$1" = "x--update" ]; then
#echo " --gdb Run under gdb; incompatible with some tests."
echo " --no-verify Turn off verification (on by default)."
echo " --no-optimize Turn off optimization (on by default)."
+ echo " --no-precise Turn off precise GC (on by default)."
echo " --zygote Spawn the process from the Zygote." \
"If used, then the"
echo " other runtime options are ignored."