From b35e7393041016718a5968db4033e4fd5fec6c37 Mon Sep 17 00:00:00 2001 From: Rhiannon Morris Date: Sun, 16 Aug 2020 20:35:22 +0200 Subject: [PATCH] clean only deletes BUILDDIR --- Makefile | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 9f37463..0aeb621 100644 --- a/Makefile +++ b/Makefile @@ -72,14 +72,13 @@ endif endif -.PHONY: mostlyclean clean distclean -mostlyclean: +.PHONY: clean distclean +clean: echo "[clean $(BUILDDIR)]" rm -rf $(BUILDDIR) -clean: mostlyclean +distclean: clean echo "[clean $(TMPDIR)]" rm -rf $(TMPDIR) -distclean: clean echo "[cabal clean]" cabal -v0 v2-clean