# HG changeset patch # User wenzelm # Date 1197144891 -3600 # Node ID f2b137c3e725c1fd29e7aa834d102affb99af93d # Parent 6623674df89716e6c79c0e7f2b6db1378a369eba ML_OPTIONS="-H 1000" -- potentially works around GC core dump; diff -r 6623674df897 -r f2b137c3e725 Admin/isatest/settings/sun-poly --- a/Admin/isatest/settings/sun-poly Fri Dec 07 22:19:53 2007 +0100 +++ b/Admin/isatest/settings/sun-poly Sat Dec 08 21:14:51 2007 +0100 @@ -4,7 +4,7 @@ ML_SYSTEM="polyml-5.1" ML_PLATFORM="sparc-solaris" ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="-H 500" + ML_OPTIONS="-H 1000" ISABELLE_HOME_USER=~/isabelle-sun-poly