1.1 --- a/Admin/polyml/build	Wed Apr 25 19:26:27 2012 +0200
     1.2 +++ b/Admin/polyml/build	Wed Apr 25 20:08:33 2012 +0200
     1.3 @@ -63,7 +63,10 @@
     1.4    x86-cygwin)
     1.5      OPTIONS=()
     1.6      ;;
     1.7 -  x86-mingw)
     1.8 +  x86-windows)
     1.9 +    OPTIONS=()
    1.10 +    ;;
    1.11 +  x86_64-windows)
    1.12      OPTIONS=()
    1.13      ;;
    1.14    ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)