tuned;
authorwenzelm
Thu Jan 15 11:39:58 2015 +0100 (2015-01-15 ago)
changeset 59368100db5cf5be5
parent 59367 6193bbbbe564
child 59369 7090199d3f78
tuned;
src/Pure/Tools/build.ML
     1.1 --- a/src/Pure/Tools/build.ML	Wed Jan 14 17:24:55 2015 +0100
     1.2 +++ b/src/Pure/Tools/build.ML	Thu Jan 15 11:39:58 2015 +0100
     1.3 @@ -111,8 +111,8 @@
     1.4          |> Unsynchronized.setmp print_mode
     1.5              (space_explode "," (Options.string options "print_mode") @ print_mode_value ())
     1.6          |> Unsynchronized.setmp Goal.parallel_proofs (Options.int options "parallel_proofs")
     1.7 +        |> Multithreading.max_threads_setmp (Options.int options "threads")
     1.8          |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
     1.9 -        |> Multithreading.max_threads_setmp (Options.int options "threads")
    1.10          |> Unsynchronized.setmp Future.ML_statistics true) thys)
    1.11      else
    1.12        Output.physical_stderr ("Skipping theories " ^ commas_quote (map #1 thys) ^