Admin/isatest/settings/cygwin-poly-e
changeset 43846 e6226e100ac5
parent 41881 ea4d8dc12ed5
child 45148 33f0c4a1d25b
     1.1 --- a/Admin/isatest/settings/cygwin-poly-e	Sat Jul 16 17:11:49 2011 +0200
     1.2 +++ b/Admin/isatest/settings/cygwin-poly-e	Sat Jul 16 18:11:14 2011 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  
     1.6    POLYML_HOME="/home/isatest/polyml-svn"
     1.7 -  ML_SYSTEM="polyml-5.4.1"
     1.8 +  ML_SYSTEM="polyml-5.4.2"
     1.9    ML_PLATFORM="x86-cygwin"
    1.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.11    ML_OPTIONS="-H 200"