changeset 53838 | b9285f30a80a |
parent 53687 | 4b9894aad605 |
child 56961 | 2ac12a7b1a69 |
--- a/Admin/isatest/settings/mac-poly-M4 Tue Sep 24 09:12:09 2013 +0200 +++ b/Admin/isatest/settings/mac-poly-M4 Tue Sep 24 11:28:18 2013 +0200 @@ -6,7 +6,7 @@ ML_SYSTEM="polyml-5.5.1" ML_PLATFORM="x86-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="-H 1000 --gcthreads 4" + ML_OPTIONS="-H 500 --gcthreads 4" ISABELLE_HOME_USER=~/isabelle-mac-poly-M4