tuned options;
authorwenzelm
Tue Jul 24 10:43:13 2012 +0200 (2012-07-24)
changeset 4846020170ae271a5
parent 48459 375e45df6fdf
child 48461 96c1ef26aabe
tuned options;
etc/options
src/Pure/System/build.ML
     1.1 --- a/etc/options	Tue Jul 24 10:39:03 2012 +0200
     1.2 +++ b/etc/options	Tue Jul 24 10:43:13 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  declare document_dump : string = ""
     1.5  declare no_document : bool = false
     1.6  
     1.7 -declare threads_limit : int = 1
     1.8 +declare threads : int = 1
     1.9  declare threads_trace : int = 0
    1.10  declare parallel_proofs : int = 1
    1.11  declare parallel_proofs_threshold : int = 100
     2.1 --- a/src/Pure/System/build.ML	Tue Jul 24 10:39:03 2012 +0200
     2.2 +++ b/src/Pure/System/build.ML	Tue Jul 24 10:43:13 2012 +0200
     2.3 @@ -21,7 +21,7 @@
     2.4      |> Unsynchronized.setmp Goal.parallel_proofs_threshold
     2.5          (Options.int options "parallel_proofs_threshold")
     2.6      |> Unsynchronized.setmp Multithreading.trace (Options.int options "threads_trace")
     2.7 -    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads_limit")
     2.8 +    |> Unsynchronized.setmp Multithreading.max_threads (Options.int options "threads")
     2.9      |> Options.bool options "no_document" ? Present.no_document;
    2.10  
    2.11  fun build args_file =