--- gcc-4.7.2/libstdc++-v3/configure.orig	2013-02-14 22:29:30.290526303 +0100
+++ gcc-4.7.2/libstdc++-v3/configure	2013-02-14 22:30:12.208316657 +0100
@@ -51718,7 +51718,7 @@
   fi
 
     ;;
-  *-mingw32*)
+  *-mingw*)
 
   # If we're not using GNU ld, then there's no point in even trying these
   # tests.  Check for that first.  We should have already tested for gld