summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8166e55843..1a23e2ebbe 100644
--- a/Makefile
+++ b/Makefile
@@ -69,7 +69,7 @@ ifneq "$(OMIT_PHASE_1)" "YES"
$(MAKE) -r --no-print-directory -f ghc.mk phase=1 phase_1_builds
endif
@echo "===--- building final phase"
- $(MAKE) -r --no-print-directory -f ghc.mk $@
+ $(MAKE) -r --no-print-directory -f ghc.mk phase=final $@
binary-dist: binary-dist-prep
ifeq "$(mingw32_TARGET_OS)" "1"