From c710062f86d121d68bcd09070e207c6db17bacf0 Mon Sep 17 00:00:00 2001
From: Martin Lenders <mail@martin-lenders.de>
Date: Sat, 3 May 2014 15:06:08 +0200
Subject: [PATCH] Introduce macro to define files that should be deleted on
 make clean

---
 Makefile.include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index fadbc0da40..2291888613 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -124,7 +124,7 @@ $(USEPKG:%=${BINDIR}%.a)::
 
 clean:
 	@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTBASE)/pkg/$$i clean || exit 1; done
-	rm -rf $(BINDIR)
+	rm -rf $(BINDIR) $(CLEANFILES)
 
 flash: all
 	$(FLASHER) $(FFLAGS)
-- 
GitLab