diff --git a/Makefile.include b/Makefile.include index 662662e5bd73b5db80203bece7470b9220edaf1c..f0aad19130b1fcee6fa0214f27098a93a566e1d6 100644 --- a/Makefile.include +++ b/Makefile.include @@ -309,6 +309,9 @@ clean-intermediates: -@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTPKG)/$$i clean ; done -@rm -rf $(BINDIR)/*.a $(BINDIR)/*/ +clean-pkg: + -@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTPKG)/$$i distclean ; done + distclean: -@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTPKG)/$$i distclean ; done -@rm -rf $(BINDIRBASE)