From 08f07cda42fc1f1ea704190be778a1a21aa3e5b3 Mon Sep 17 00:00:00 2001 From: Jonathan G Rennison Date: Sun, 6 Sep 2015 10:53:05 +0100 Subject: [PATCH] Makefile: include revision number in rev.cpp recompilation check. --- Makefile.src.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.src.in b/Makefile.src.in index 1d654d283f..23ca306fbc 100644 --- a/Makefile.src.in +++ b/Makefile.src.in @@ -113,7 +113,7 @@ RES := $(shell if [ "`cat $(CONFIG_CACHE_ENDIAN) 2>/dev/null`" != "$(ENDIAN_FORC # If there is a change in the source-file-list, make sure we recheck the deps RES := $(shell if [ "`cat $(CONFIG_CACHE_SOURCE) 2>/dev/null`" != "$(SRCS)" ]; then echo "$(SRCS)" > $(CONFIG_CACHE_SOURCE); fi ) # If there is a change in the revision, make sure we recompile rev.cpp -RES := $(shell if [ "`cat $(CONFIG_CACHE_VERSION) 2>/dev/null`" != "$(REV) $(MODIFIED)" ]; then echo "$(REV) $(MODIFIED)" > $(CONFIG_CACHE_VERSION); fi ) +RES := $(shell if [ "`cat $(CONFIG_CACHE_VERSION) 2>/dev/null`" != "$(REV) $(REV_NR) $(MODIFIED)" ]; then echo "$(REV) $(REV_NR) $(MODIFIED)" > $(CONFIG_CACHE_VERSION); fi ) ifndef MAKEDEPEND # The slow, but always correct, dep-check