# HG changeset patch
# User wenzelm
# Date 1344429027 -7200
# Node ID af91cd2301ba00f6adbccd943645b08e1bc8778e
# Parent  18e76e2db6d4b316fb2c48363ad0676600ff7942
back to implicit commit via isabelle-process -- save image only once (cf. 181b91e1d1c1);

diff -r 18e76e2db6d4 -r af91cd2301ba 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;