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;