# 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"