1.1 --- a/src/Pure/System/build.ML	Wed Aug 08 12:51:20 2012 +0200
     1.2 +++ b/src/Pure/System/build.ML	Wed Aug 08 14:30:27 2012 +0200
     1.3 @@ -82,7 +82,7 @@
     1.4              |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads"));
     1.5  
     1.6        val _ = Session.finish ();
     1.7 -      val _ = if do_output then Secure.commit () else ();
     1.8 +      val _ = if do_output then () else exit 0;
     1.9      in 0 end);
    1.10  
    1.11  end;