From 08bcdbe3ae0da0d2d670a47dfda34547d9c36d1a Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 12 Aug 2008 23:24:46 +0000 Subject: [PATCH] In cabal.mk, clean is no longer identical to distclean distclean will now also remove files listed in EXTRA_DISTCLEAN --- mk/cabal.mk | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/mk/cabal.mk b/mk/cabal.mk index 1ae6cba..fbe8953 100644 --- a/mk/cabal.mk +++ b/mk/cabal.mk @@ -52,12 +52,15 @@ install: --distpref dist-install \ $(INSTALL_FLAGS) -clean: distclean - -distclean: +clean: -$(CABAL) clean --distpref dist-inplace -$(CABAL) clean --distpref dist-install ifneq "$(EXTRA_CLEAN)" "" $(RM) -f $(EXTRA_CLEAN) endif +distclean: clean +ifneq "$(EXTRA_DISTCLEAN)" "" + $(RM) -f $(EXTRA_DISTCLEAN) +endif + -- 1.7.10.4