# HG changeset patch
# User wenzelm
# Date 1256637265 -3600
# Node ID a69147d95957d5cec1b89e3ca38e00736a80ec1d
# Parent  ecb5cd453ef224382231ace451b9d1766f50aa15
max_threads_value: eliminated tested_platform -- Poly/ML 5.3 fully supports linux, darwin, solaris, cygwin;

diff -r ecb5cd453ef2 -r a69147d95957 src/Pure/ML-Systems/multithreading_polyml.ML
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Oct 26 23:27:24 2009 +0100
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Oct 27 10:54:25 2009 +0100
@@ -33,14 +33,9 @@
 
 val max_threads = Unsynchronized.ref 0;
 
-val tested_platform =
-  let val ml_platform = getenv "ML_PLATFORM"
-  in String.isSuffix "linux" ml_platform orelse String.isSuffix "darwin" ml_platform end;
-
 fun max_threads_value () =
   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), 4)
   end;