author | wenzelm |
Wed, 08 Aug 2012 14:30:27 +0200 | |
changeset 48734 | af91cd2301ba |
parent 48733 | 18e76e2db6d4 |
child 48735 | 35c47932584c |
--- 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;