From b86a326de605350d37043a02d341f65c139f4f97 Mon Sep 17 00:00:00 2001
From: Juan Carrano <j.carrano@fu-berlin.de>
Date: Mon, 23 Jul 2018 17:05:44 +0200
Subject: [PATCH] Makefile.include: Make archives FORCE instead of PHONY.

---
 Makefile.include | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.include b/Makefile.include
index 98d8c40927..e465eadfa5 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -451,11 +451,11 @@ ifneq (, $(filter clean, $(MAKECMDGOALS)))
     all $(BASELIBS) $(USEPKG:%=$(RIOTPKG)/%/Makefile.include) $(BUILDDEPS): clean
 endif
 
-.PHONY: pkg-prepare $(USEPKG:%=$(BINDIR)/%.a)
+.PHONY: pkg-prepare
 pkg-prepare:
 	-@for i in $(USEPKG) ; do "$(MAKE)" -C $(RIOTPKG)/$$i prepare ; done
 
-$(USEPKG:%=$(BINDIR)/%.a): $(BUILDDEPS)
+$(USEPKG:%=$(BINDIR)/%.a): $(BUILDDEPS) FORCE
 	@mkdir -p $(BINDIR)
 	$(QQ)"$(MAKE)" -C $(RIOTPKG)/$(patsubst $(BINDIR)/%.a,%,$@)
 
-- 
GitLab