summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 12cae7473e..8d49d0f1cd 100644
--- a/Makefile
+++ b/Makefile
@@ -74,10 +74,6 @@ ifneq "$(OMIT_PHASE_3)" "YES"
@echo "===--- building phase 3"
$(MAKE) -r --no-print-directory -f ghc.mk phase=3 all
endif
-ifneq "$(OMIT_PHASE_4)" "YES"
- @echo "===--- building phase 4"
- $(MAKE) -r --no-print-directory -f ghc.mk phase=4 all
-endif
@echo "===--- building final phase"
$(MAKE) -r --no-print-directory -f ghc.mk $@