missed this change...

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index bde78a2b9a98585155eb007c93282b2779cc7dad..e625f3d6f8927a5f450929a828d217f539e3c1e8 100755 (executable)
--- 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 \
+$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 $JAVAOPTS $SRCFILES
 then exit $?
 fi