changeset 26371 | 8e4286e2bffe |
parent 26210 | cf904c5642e1 |
child 27088 | 891a3c9db9e1 |
--- a/Admin/isatest/settings/at64-poly Mon Mar 24 15:59:16 2008 +0100 +++ b/Admin/isatest/settings/at64-poly Mon Mar 24 15:59:56 2008 +0100 @@ -1,6 +1,6 @@ # -*- shell-script -*- - POLYML_HOME="/usr/proj/polyml/polyml-5.1" + POLYML_HOME="/home/polyml/polyml-5.1" ML_SYSTEM="polyml-5.1" ML_PLATFORM="x86_64-linux" ML_HOME="$POLYML_HOME/$ML_PLATFORM"