changeset 28669 | fdae33134bbf |
parent 27088 | 891a3c9db9e1 |
child 29643 | 5e0df4b6849e |
--- a/Admin/isatest/settings/at64-poly-5.1-para Thu Oct 23 00:24:31 2008 +0200 +++ b/Admin/isatest/settings/at64-poly-5.1-para Thu Oct 23 13:51:54 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-5.2.1" + ML_SYSTEM="polyml-5.2.1" ML_PLATFORM="x86_64-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 500"