changeset 25466 | 3f72994ec096 |
parent 23830 | f838adde842d |
child 25581 | f2b137c3e725 |
1.1 --- a/Admin/isatest/settings/sun-poly Mon Nov 26 12:19:27 2007 +0100 1.2 +++ b/Admin/isatest/settings/sun-poly Mon Nov 26 18:01:48 2007 +0100 1.3 @@ -1,7 +1,7 @@ 1.4 # -*- shell-script -*- 1.5 1.6 - POLYML_HOME="/usr/proj/polyml/polyml-5.1-test" 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="sparc-solaris" 1.11 ML_HOME="$POLYML_HOME/$ML_PLATFORM" 1.12 ML_OPTIONS="-H 500"