From c19a1264a58ad4cfcf61be4b728eaf64fc248cfe Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Wed, 20 May 2009 11:43:12 +0000 Subject: [PATCH] Set CLEANING=YES for the clean_% targets --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a80dcee..ec55261 100644 --- a/Makefile +++ b/Makefile @@ -81,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 $@ -- 1.7.10.4