changeset 43846 | e6226e100ac5 |
parent 41671 | 5ffa2cf4cced |
child 45148 | 33f0c4a1d25b |
--- a/Admin/isatest/settings/mac-poly64-M4 Sat Jul 16 17:11:49 2011 +0200 +++ b/Admin/isatest/settings/mac-poly64-M4 Sat Jul 16 18:11:14 2011 +0200 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: POLYML_HOME="/home/polyml/polyml-svn" - ML_SYSTEM="polyml-5.4.1" + ML_SYSTEM="polyml-5.4.2" ML_PLATFORM="x86_64-darwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 2000 --gcthreads 4"