From 163450b63295435c1f1141fa39d3a52bd85b8f9b Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 23 Jun 2020 14:47:15 +0200
Subject: [PATCH] Makefile: add pkg-clean target

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3aed3fe133..ce63dd6242 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,11 @@ clean:
 	@echo "Cleaning all build products for the current board"
 	@for dir in $(APPLICATION_DIRS); do "$(MAKE)" -C$$dir clean; done
 
-distclean: docclean
+pkg-clean:
+	@echo "Cleaning all package sources"
+	rm -rf build/pkg
+
+distclean: docclean pkg-clean
 	@echo "Cleaning all build products"
 	@for dir in $(APPLICATION_DIRS); do "$(MAKE)" -C$$dir distclean; done