clean only deletes BUILDDIR

2020-08-16 20:35:22 +02:00 · 2020-08-16 20:35:22 +02:00 · b35e739304
commit b35e739304
parent cd0e444d16
1 changed files with 3 additions and 4 deletions
--- a/7
+++ b/7
@ -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