Admin/isatest/settings/at64-poly-5.1-para
changeset 26371 8e4286e2bffe
parent 26210 cf904c5642e1
child 27088 891a3c9db9e1
     1.1 --- a/Admin/isatest/settings/at64-poly-5.1-para	Mon Mar 24 15:59:16 2008 +0100
     1.2 +++ b/Admin/isatest/settings/at64-poly-5.1-para	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-5.1"
     1.7 +  POLYML_HOME="/home/polyml/polyml-5.1"
     1.8    ML_SYSTEM="polyml-5.1"
     1.9    ML_PLATFORM="x86_64-linux"
    1.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"