From 585706f1c596aaf356d1c87d53c5a8028fdde405 Mon Sep 17 00:00:00 2001 From: Rhiannon Morris Date: Tue, 4 Jan 2022 20:09:09 +0100 Subject: [PATCH] add mostlyclean target --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 142ce2c..485253b 100644 --- a/Makefile +++ b/Makefile @@ -77,13 +77,14 @@ include $(TMPDIR)/index.mk endif -.PHONY: clean distclean -clean: +.PHONY: clean mostlyclean distclean +mostlyclean: echo "[clean $(BUILDDIR)]" rm -rf $(BUILDDIR) -distclean: clean +clean: mostlyclean echo "[clean $(TMPDIR)]" rm -rf $(TMPDIR) +distclean: clean echo "[cabal clean]" cabal --verbose=0 v2-clean