topdir.mk: Remove *dist* with topdir.distclean

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2019-01-30 16:23:20 +00:00
commit 9fd2f3f9ec

View file

@ -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)