# HG changeset patch
# User wenzelm
# Date 1275393273 -7200
# Node ID 873eb173ffd27674be2df6b3e26ade92fe5f882a
# Parent  54b444874be1e44f52c7a95ae3907aada95f8c47
use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy;

diff -r 54b444874be1 -r 873eb173ffd2 Admin/isatest/settings/cygwin-poly-e
--- a/Admin/isatest/settings/cygwin-poly-e	Tue Jun 01 13:32:05 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Tue Jun 01 13:54:33 2010 +0200
@@ -1,6 +1,6 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/isatest/homebroy/home/polyml/polyml-5.3.0"
+  POLYML_HOME="/home/isatest/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
   ML_PLATFORM="x86-cygwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"