[project @ 2000-03-14 01:33:39 by sof]

mingw32 support

diff --git a/ghc/rts/gmp/config.sub b/ghc/rts/gmp/config.sub
index c697467..e75bb05 100644 (file)
--- a/ghc/rts/gmp/config.sub
+++ b/ghc/rts/gmp/config.sub
@@ -824,7 +824,7 @@ case $os in
              | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \
              | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \
              | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \
-             | -cygwin32* | -pe* | -psos*)
+             | -cygwin32* | -mingw32* | -pe* | -psos*)
        # Remember, each alternative MUST END IN *, to match a version number.
                ;;
        # CYGNUS LOCAL