X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=ec55261be1d898dd45c18b47856c5f953b1bc384;hb=3bc03ff9b052015fbabec8f9727fd031a598a8ad;hp=f15677d68bc10d75d321c63e7c1380f17a08f93c;hpb=81e5f8ff44ed5c734c9966ba0f3faf2d84c74577;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index f15677d..ec55261 100644
--- a/Makefile
+++ b/Makefile
@@ -56,12 +56,18 @@ REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean
 $(REALGOALS) all: $(PACKAGE_MK)
 	@echo "===--- updating makefiles phase 0"
 	$(MAKE) -r --no-print-directory -f ghc.mk phase=0 just-makefiles
+ifneq "$(OMIT_PHASE_1)" "YES"
 	@echo "===--- updating makefiles phase 1"
 	$(MAKE) -r --no-print-directory -f ghc.mk phase=1 just-makefiles
+endif
+ifneq "$(OMIT_PHASE_2)" "YES"
 	@echo "===--- updating makefiles phase 2"
 	$(MAKE) -r --no-print-directory -f ghc.mk phase=2 just-makefiles
+endif
+ifneq "$(OMIT_PHASE_3)" "YES"
 	@echo "===--- updating makefiles phase 3"
 	$(MAKE) -r --no-print-directory -f ghc.mk phase=3 just-makefiles
+endif
 	@echo "===--- finished updating makefiles"
 	$(MAKE) -r --no-print-directory -f ghc.mk $@
 
@@ -75,7 +81,7 @@ clean distclean maintainer-clean:
 	test ! -d testsuite || $(MAKE) -C testsuite $@
 
 $(filter clean_%, $(MAKECMDGOALS)) : clean_% :
-	$(MAKE) -r --no-print-directory -f ghc.mk $@
+	$(MAKE) -r --no-print-directory -f ghc.mk $@ CLEANING=YES
 
 bootstrapping-files show: $(PACKAGE_MK)
 	$(MAKE) -r --no-print-directory -f ghc.mk $@