From c835441a6e2d86ebf66f52f96c444b881d6d2a9c Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Tue, 24 Jan 2017 18:47:41 +0100
Subject: [PATCH] make: remove pkg/*/ from clean targets
---
Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 890f740ac5..ca0ccbee60 100644
--- a/Makefile
+++ b/Makefile
@@ -20,11 +20,11 @@ docclean:
clean:
@echo "Cleaning all build products for the current board"
- @find ./pkg/ ./examples/ ./tests/ -maxdepth 2 -mindepth 2 -type f -name Makefile -execdir "${MAKE}" clean ';'
+ @find ./examples/ ./tests/ -maxdepth 2 -mindepth 2 -type f -name Makefile -execdir "${MAKE}" clean ';'
distclean: docclean
@echo "Cleaning all build products"
- @find ./pkg/ ./examples/ ./tests/ -maxdepth 2 -mindepth 2 -type f -name Makefile -execdir "${MAKE}" distclean ';'
+ @find ./examples/ ./tests/ -maxdepth 2 -mindepth 2 -type f -name Makefile -execdir "${MAKE}" distclean ';'
welcome:
@echo "Welcome to RIOT - The friendly OS for IoT!"
--
GitLab