# HG changeset patch
# User wenzelm
# Date 1223487140 -7200
# Node ID d987084b0fd2ed6d3655c8df0443a29be5e18f45
# Parent  843b35caa8c431d41a63f7d3bfd53d95c58a7017
use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC;

diff -r 843b35caa8c4 -r d987084b0fd2 Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Oct 08 19:30:15 2008 +0200
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Oct 08 19:32:20 2008 +0200
@@ -1,7 +1,7 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/home/polyml/polyml-5.2"
-  ML_SYSTEM="polyml-5.2"
+  POLYML_HOME="/home/polyml/polyml-cvs"
+  ML_SYSTEM="polyml-cvs"
   ML_PLATFORM="x86-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
   ML_OPTIONS="-H 2000"