From 7e18e754dba1195c4cf1a54dada3dd1f23dae29a Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 19 Sep 2017 13:10:01 +0000 Subject: [PATCH] dirs.mk: Make dirs-all.done depend on headers, not BUILD_HDRDIR BUILD_HDRDIR changes its timestamp also on accessing it, so the headers are a better choice to prevent misfires. Signed-off-by: Jan Lindemann --- make/dirs.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/dirs.mk b/make/dirs.mk index f8adf093..ce362b0a 100644 --- a/make/dirs.mk +++ b/make/dirs.mk @@ -72,7 +72,7 @@ ifneq ($(DONT_CHECK_PREREQ_DONE),true) endif ifeq ($(filter clean distclean,$(MAKECMDGOALS)),) -dirs-all.done: $(wildcard $(BUILD_HDRDIR)) +dirs-all.done: $(wildcard $(BUILD_HDRDIR)/*.h) $(wildcard $(BUILD_HDRDIR)/$(HDRDIR_SCOPE_PREFIX)/*.h) endif dirs-%.done: