diff --git a/make/topdir.mk b/make/topdir.mk index d6cf4fc7..a20ebb43 100644 --- a/make/topdir.mk +++ b/make/topdir.mk @@ -53,10 +53,11 @@ local-%: unlocal: $(RM) -f $(shell find . -name local.mk) -topdir.distclean: +topdir.distclean: topdir.clean + $(RM) -rf dist *.dist topdir.clean: - $(RM) -f *.done -topdir.mrproper: + $(RM) -rf *.done +topdir.mrproper: topdir.distclean find . -name '*.rep' | xargs -r $(RM) -f topdir.install: prefix.done $(INSTALLED_TOPDIR_FILES)