use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy;
authorwenzelm
Tue, 01 Jun 2010 13:54:33 +0200
changeset 37245873eb173ffd2
parent 37244 54b444874be1
child 37246 04d2521e79b0
use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy;
Admin/isatest/settings/cygwin-poly-e
     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"