use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy;
1.1 --- a/Admin/isatest/settings/cygwin-poly-e Tue Jun 01 13:32:05 2010 +0200
1.2 +++ b/Admin/isatest/settings/cygwin-poly-e Tue Jun 01 13:54:33 2010 +0200
1.3 @@ -1,6 +1,6 @@
1.4 # -*- shell-script -*- :mode=shellscript:
1.5
1.6 - POLYML_HOME="/home/isatest/homebroy/home/polyml/polyml-5.3.0"
1.7 + POLYML_HOME="/home/isatest/polyml-5.3.0"
1.8 ML_SYSTEM="polyml-5.3.0"
1.9 ML_PLATFORM="x86-cygwin"
1.10 ML_HOME="$POLYML_HOME/$ML_PLATFORM"