--- a/Admin/polyml/build Fri Apr 13 19:44:15 2012 +0200 +++ b/Admin/polyml/build Fri Apr 13 21:09:11 2012 +0200 @@ -63,6 +63,9 @@ x86-cygwin) OPTIONS=() ;; + x86-mingw) + OPTIONS=() + ;; ppc-darwin | sparc-solaris | x86-solaris | x86-bsd) OPTIONS=() ;;