# HG changeset patch # User wenzelm # Date 1299161885 -3600 # Node ID ea4d8dc12ed501113e08c198d0faeaab9aa9bb70 # Parent 01f3e2df796cfc38557d9a3b75e89117511d30fb isatest cygwin-poly-e: new memory management of polyml-svn could be more stable; diff -r 01f3e2df796c -r ea4d8dc12ed5 Admin/isatest/settings/cygwin-poly-e --- 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"