From a1f8891a41943f63a0033335b227e3f95e4cc9d4 Mon Sep 17 00:00:00 2001 From: Kaspar Schleiser <kaspar@schleiser.de> Date: Wed, 6 Jul 2016 17:33:28 +0200 Subject: [PATCH] make: distclean pkg sources on clean-intermediates target --- Makefile.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.include b/Makefile.include index 3ef25e8288..8e0870d0a2 100644 --- a/Makefile.include +++ b/Makefile.include @@ -312,7 +312,7 @@ clean: # Remove intermediates, but keep the .elf, .hex and .map etc. clean-intermediates: - -@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTPKG)/$$i clean ; done + -@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTPKG)/$$i distclean ; done -@rm -rf $(BINDIR)/*.a $(BINDIR)/*/ clean-pkg: -- GitLab