Fix Windows binary-dist target
authorAustin Seipp <austin@well-typed.com>
Tue, 14 Jan 2014 08:31:31 +0000 (02:31 -0600)
committerAustin Seipp <austin@well-typed.com>
Tue, 14 Jan 2014 09:46:08 +0000 (03:46 -0600)
I'm not entirely sure what the intention of this code was, but it was
quite old, and the binary distribution for Windows seems to work OK
nonetheless.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Makefile

index 5425699..ce67359 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -72,9 +72,6 @@ endif
        $(MAKE) -r --no-print-directory -f ghc.mk phase=final $@
 
 binary-dist: binary-dist-prep
-ifeq "$(mingw32_TARGET_OS)" "1"
-       mv bindistprep/*.exe .
-endif
        mv bindistprep/*.tar.bz2 .
 
 binary-dist-prep: