From 6db8788b69ea64b5d0ef2e8913f12d6b0fdea5c1 Mon Sep 17 00:00:00 2001
From: Werner Almesberger <werner@almesberger.net>
Date: Wed, 13 Nov 2013 17:15:46 -0300
Subject: [PATCH] Makefile.include (clean): ignore rm -f failing (e.g., on
 "core")

rm -f can still fail, e.g., if trying to delete a directory.

If there was, say, a directory called "core", a "make clean" would
therefore only try to delete the files listed in the first command but
not proceed with the rest of the cleanup.

"make clean" itself failing may also affect any outside build process
that invokes it.
---
 Makefile.include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index 3ed193316..4933d204e 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -192,7 +192,7 @@ rm -f $(@:.o=.$$$$)
 endef
 
 clean:
-	rm -f *~ *core core *.srec \
+	-rm -f *~ *core core *.srec \
 	*.lst *.map \
 	*.cprg *.bin *.data contiki*.a *.firmware core-labels.S *.ihex *.ini \
 	*.ce *.co