src/Pure/build

--- a/src/Pure/build	Fri May 17 18:23:39 2013 +0200
+++ b/src/Pure/build	Fri May 17 18:39:49 2013 +0200
@@ -79,7 +79,8 @@
     "$ISABELLE_PROCESS" \
       -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => Posix.Process.exit 0w1;" \
       -e "ml_prompts \"ML> \" \"ML# \";" \
-      -f -q -w RAW_ML_SYSTEM "$OUTPUT"
+      -e "Command_Line.tool0 Session.finish;" \
+      -q -w RAW_ML_SYSTEM "$OUTPUT"
   fi
 fi