diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -60,8 +60,10 @@ REALGOALS=$(filter-out binary-dist binary-dist-prep bootstrapping-files framewor # it does nothing if we specify a target that already exists. .PHONY: $(REALGOALS) $(REALGOALS) all: mk/config.mk.old mk/project.mk.old compiler/ghc.cabal.old +ifneq "$(OMIT_PHASE_0)" "YES" @echo "===--- building phase 0" $(MAKE) -r --no-print-directory -f ghc.mk phase=0 phase_0_builds +endif ifneq "$(OMIT_PHASE_1)" "YES" @echo "===--- building phase 1" $(MAKE) -r --no-print-directory -f ghc.mk phase=1 phase_1_builds |