summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 5425699c32..ce67359792 100644
--- 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: