changeset 41881 | ea4d8dc12ed5 |
parent 41420 | 005e7f8d02a7 |
child 43846 | e6226e100ac5 |
--- a/Admin/isatest/settings/cygwin-poly-e Thu Mar 03 11:36:10 2011 +0100 +++ b/Admin/isatest/settings/cygwin-poly-e Thu Mar 03 15:18:05 2011 +0100 @@ -1,7 +1,7 @@ # -*- shell-script -*- :mode=shellscript: - POLYML_HOME="/home/isatest/polyml-5.4.0" - ML_SYSTEM="polyml-5.4.0" + POLYML_HOME="/home/isatest/polyml-svn" + ML_SYSTEM="polyml-5.4.1" ML_PLATFORM="x86-cygwin" ML_HOME="$POLYML_HOME/$ML_PLATFORM" ML_OPTIONS="-H 200"