changeset 26371 | 8e4286e2bffe |
parent 26210 | cf904c5642e1 |
child 26402 | 441ddf3b8f02 |
1.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e Mon Mar 24 15:59:16 2008 +0100 1.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e Mon Mar 24 15:59:56 2008 +0100 1.3 @@ -1,6 +1,6 @@ 1.4 # -*- shell-script -*- 1.5 1.6 - POLYML_HOME="/usr/proj/polyml/polyml-cvs" 1.7 + POLYML_HOME="/home/polyml/polyml-cvs" 1.8 ML_SYSTEM="polyml-5.1" 1.9 ML_PLATFORM="x86-linux" 1.10 ML_HOME="$POLYML_HOME/$ML_PLATFORM"