changeset 33180 | e1b0280f0299 |
parent 32738 | 15bb09ca0378 |
child 33219 | a69147d95957 |
--- a/src/Pure/ML-Systems/multithreading_polyml.ML Mon Oct 26 11:30:20 2009 +0100 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML Mon Oct 26 11:36:23 2009 +0100 @@ -41,7 +41,7 @@ let val m = ! max_threads in if m > 0 then m else if not tested_platform then 1 - else Int.min (Int.max (Thread.numProcessors (), 1), 8) + else Int.min (Int.max (Thread.numProcessors (), 1), 4) end; fun enabled () = max_threads_value () > 1;