src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Fri Nov 07 16:22:25 2014 +0100
+++ b/src/Pure/Tools/build.ML	Fri Nov 07 16:36:55 2014 +0100
@@ -157,7 +157,6 @@
         theories |>
           (List.app (use_theories_condition last_timing)
             |> session_timing name verbose
-            |> Unsynchronized.setmp Outer_Syntax.batch_mode true
             |> Unsynchronized.setmp Output.protocol_message_fn protocol_message
             |> Multithreading.max_threads_setmp (Options.int options "threads")
             |> Exn.capture);