# HG changeset patch
# User wenzelm
# Date 1344093990 -7200
# Node ID b2b09970c571aba6c3a79c8076d03f57f21546c3
# Parent  9bc7922ba2ae2179b7569e1e1c5f34cf1541fac6
let with_timing report overall number of threads;

diff -r 9bc7922ba2ae -r b2b09970c571 src/Pure/System/build.ML
--- a/src/Pure/System/build.ML	Sat Aug 04 17:06:55 2012 +0200
+++ b/src/Pure/System/build.ML	Sat Aug 04 17:26:30 2012 +0200
@@ -76,7 +76,12 @@
           (Options.string options "document_dump",
             Present.dump_mode (Options.string options "document_dump_mode"))
           "" verbose;
-      val _ = Session.with_timing name verbose (List.app use_theories) theories;
+      val _ =
+        theories |>
+          (List.app use_theories
+            |> Session.with_timing name verbose
+            |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads"));
+
       val _ = Session.finish ();
       val _ = if do_output then () else quit ();
     in () end) ()) ()