From 2ba86833153964292dff3f9191c08000be205698 Mon Sep 17 00:00:00 2001
From: Juan Carrano <j.carrano@fu-berlin.de>
Date: Mon, 23 Jul 2018 17:06:56 +0200
Subject: [PATCH] Makefile.include: Make config header FORCE instead of PHONY.

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

diff --git a/Makefile.include b/Makefile.include
index 01eefcd9f2..7233704fdb 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -642,10 +642,9 @@ endif
 include $(RIOTTOOLS)/desvirt/Makefile.desvirt
 
 # Build a header file with all common macro definitions and undefinitions
-# make it phony to force re-run of the script every time even if the file exists
+# make it depend on FORCE to re-run of the script every time even if the file exists
 # The script will only touch the file if anything has changed since last time.
-.PHONY: $(RIOTBUILD_CONFIG_HEADER_C)
-$(RIOTBUILD_CONFIG_HEADER_C):
+$(RIOTBUILD_CONFIG_HEADER_C): FORCE
 	@mkdir -p '$(dir $@)'
 	$(Q)'$(RIOTTOOLS)/genconfigheader/genconfigheader.sh' '$@' $(CFLAGS_WITH_MACROS)
 
-- 
GitLab