From 8667758cb02d9da64ca58208c2e551d6c83b3a08 Mon Sep 17 00:00:00 2001
From: Juan Carrano <j.carrano@fu-berlin.de>
Date: Mon, 23 Jul 2018 17:04:15 +0200
Subject: [PATCH] Makefile.include: make pkgs Makefile.include FORCE instead of
 PHONY

The rule to rebuild the Makefile.include(s) should be removed at some
point.
---
 Makefile.include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index 0915216c83..98d8c40927 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -323,7 +323,7 @@ include $(RIOTBASE)/drivers/Makefile.include
 $(RIOTPKG)/%/Makefile.include::
 	$(Q)"$(MAKE)" -C $(RIOTPKG)/$* Makefile.include
 
-.PHONY: $(USEPKG:%=$(RIOTPKG)/%/Makefile.include)
+$(USEPKG:%=$(RIOTPKG)/%/Makefile.include): FORCE
 -include $(USEPKG:%=$(RIOTPKG)/%/Makefile.include)
 
 # Deduplicate includes without sorting them
-- 
GitLab