# HG changeset patch
# User wenzelm
# Date 1334069430 -7200
# Node ID b2eafae4d40109acb221924b2f8e7b92d492a172
# Parent  a380515ed7e4c6a6b50816938312274463f03327
updated for Poly/ML SVN 1476;

diff -r a380515ed7e4 -r b2eafae4d401 Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Tue Apr 10 11:42:15 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test	Tue Apr 10 16:50:30 2012 +0200
@@ -4,7 +4,7 @@
   ML_SYSTEM="polyml-5.4.2"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 500"
+  ML_OPTIONS="-H 500 --gcthreads 1"
 
 ISABELLE_HOME_USER=~/isabelle-at-poly-test