X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2Fconfigure-bin.in;h=bd5882b42acd1dd43213af0c1ec31388656a474e;hb=e8abb8d20db29a802a53950df4914f93122a8e1b;hp=2dd90f03e6c4d80d722d1ce79f774bdb476147da;hpb=393185426d61a45e0d7f1cb97925b7f7ae0ed278;p=ghc-hetmet.git

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 2dd90f0..bd5882b 100644
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -55,9 +55,9 @@ i[[3456]]86-*-mingw32*)
 	exeext='.exe'
 	# We assume you're using mingw32 via the gcc that comes
 	# with cygwin, and not the native port, so let's augment
-	# the gcc command-line used here with -mno-cygwin to
-	# arrange for good things to happen.
-	CFLAGS="-mno-cygwin $CFLAGS"
+	# the gcc command-line used here with -mno-cygwin -mwin32
+	# to arrange for good things to happen.
+	CFLAGS="-mno-cygwin -mwin32 $CFLAGS"
 	TargetPlatform=i386-unknown-mingw32
 	;;
 m68k-next-nextstep2)
@@ -139,6 +139,6 @@ AC_OUTPUT(Makefile)
 
 echo "****************************************************"
 echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place', followed by 'make install-docs'."
+echo "or 'make in-place'."
 echo "(see README and INSTALL files for more info.)"
 echo "****************************************************"