X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=validate;h=a042664d300d8f444f91f937dbabb337aea5faea;hb=99332983ad06a8cfef34c7908a73038c6f3f4781;hp=a0b9e16a39526f351d1818ba7d52071c46fe98c2;hpb=5e6d6f0a8b7944b2e3ab0340ee690c5a1ae998ed;p=ghc-hetmet.git

diff --git a/validate b/validate
index a0b9e16..a042664 100644
--- a/validate
+++ b/validate
@@ -61,18 +61,6 @@ if [ $no_clean -eq 0 ]; then
     then
         INSTDIR=`cygpath -m "$INSTDIR"`
     fi
-    case $OSTYPE in
-        cygwin|msys) config_args=--build=i386-unknown-mingw32
-            if [ -f c:/mingw/bin/gcc.exe ]
-            then
-                config_args="$config_args --with-gcc=c:/mingw/bin/gcc"
-            fi
-            if [ -f c:/mingw/bin/ld.exe ]
-            then
-                config_args="$config_args --with-ld=c:/mingw/bin/ld"
-            fi
-            ;;
-    esac
 
     sh boot
     ./configure --prefix="$INSTDIR" $config_args