back to implicit commit via isabelle-process -- save image only once (cf. 181b91e1d1c1);
authorwenzelm
Wed, 08 Aug 2012 14:30:27 +0200
changeset 48734 af91cd2301ba
parent 48733 18e76e2db6d4
child 48735 35c47932584c
back to implicit commit via isabelle-process -- save image only once (cf. 181b91e1d1c1);
src/Pure/System/build.ML
--- a/src/Pure/System/build.ML	Wed Aug 08 12:51:20 2012 +0200
+++ b/src/Pure/System/build.ML	Wed Aug 08 14:30:27 2012 +0200
@@ -82,7 +82,7 @@
             |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads"));
 
       val _ = Session.finish ();
-      val _ = if do_output then Secure.commit () else ();
+      val _ = if do_output then () else exit 0;
     in 0 end);
 
 end;