+i[[3456]]86-*-mingw32*)
+ HostPlatform=i386-unknown-mingw32 # hack again
+ TargetPlatform=i386-unknown-mingw32
+ BuildPlatform=i386-unknown-mingw32
+ HostPlatform_CPP='i386_unknown_mingw32'
+ HostArch_CPP='i386'
+ HostVendor_CPP='unknown'
+ HostOS_CPP='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"
+ ;;