# HG changeset patch
# User wenzelm
# Date 1335377313 -7200
# Node ID 15936c7b2fa3e73ddf16080ee91dec19046fc4c9
# Parent  d31085f07f6042948235fef3e9e9f30006edd822
mingw is windows (still inactive);

diff -r d31085f07f60 -r 15936c7b2fa3 Admin/polyml/build
--- a/Admin/polyml/build	Wed Apr 25 19:26:27 2012 +0200
+++ b/Admin/polyml/build	Wed Apr 25 20:08:33 2012 +0200
@@ -63,7 +63,10 @@
   x86-cygwin)
     OPTIONS=()
     ;;
-  x86-mingw)
+  x86-windows)
+    OPTIONS=()
+    ;;
+  x86_64-windows)
     OPTIONS=()
     ;;
   ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)