From 6ed5591db72c422fab5161d85464889cd93d251a Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 6 Feb 2009 08:58:11 +0000
Subject: [PATCH] oops..wrong change

---
 Robust/src/buildscript | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index e625f3d6..516a1b7e 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -279,7 +279,7 @@ fi
 if $MULTICOREFLAG
 then
 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx800m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
-$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
+$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR \
 $JAVAOPTS $SRCFILES
 then exit $?
 fi
@@ -288,7 +288,7 @@ else
 if ! $NOJAVA
 then
 if ! ${ROBUSTROOT}/ourjava -Xms50m -Xmx600m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
-$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR  \
+$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 $JAVAOPTS $SRCFILES
 then exit $?
 fi
-- 
2.34.1