author | kleing |
Wed, 05 Dec 2007 04:30:58 +0100 | |
changeset 25531 | 54e1f90beeb7 |
parent 25530 | a09ab5a79d42 |
child 25532 | 27f6771ae8fb |
1.1 --- a/Admin/isatest/settings/at-poly Wed Dec 05 04:29:27 2007 +0100 1.2 +++ b/Admin/isatest/settings/at-poly Wed Dec 05 04:30:58 2007 +0100 1.3 @@ -1,7 +1,7 @@ 1.4 # -*- shell-script -*- 1.5 1.6 - POLYML_HOME="/usr/proj/polyml/polyml-5.0" 1.7 - ML_SYSTEM="polyml-5.0" 1.8 + POLYML_HOME="/usr/proj/polyml/polyml-5.1" 1.9 + ML_SYSTEM="polyml-5.1" 1.10 ML_PLATFORM="x86-linux" 1.11 ML_HOME="$POLYML_HOME/$ML_PLATFORM" 1.12 ML_OPTIONS="-H 500"