From c02fff61e20cc64f6c0b5010d30e13efa18ae1bb Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 12 Jun 2009 23:38:18 +0000 Subject: [PATCH] Remove library buildinfo files when cleaning --- ghc.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/ghc.mk b/ghc.mk index 6259dbb..d6a5094 100644 --- a/ghc.mk +++ b/ghc.mk @@ -905,6 +905,7 @@ clean_libraries: "$(RM)" $(RM_OPTS) -r $(patsubst %, libraries/%/dist, $(PACKAGES) $(PACKAGES_STAGE2)) "$(RM)" $(RM_OPTS) -r $(patsubst %, libraries/%/dist-install, $(PACKAGES) $(PACKAGES_STAGE2)) "$(RM)" $(RM_OPTS) -r $(patsubst %, libraries/%/dist-boot, $(PACKAGES) $(PACKAGES_STAGE2)) + "$(RM)" $(RM_OPTS) $(patsubst %, libraries/%/*.buildinfo, $(PACKAGES) $(PACKAGES_STAGE2)) distclean : clean "$(RM)" $(RM_OPTS) config.cache config.status config.log mk/config.h mk/stamp-h -- 1.7.10.4