diff options
author | Simon Glass | 2022-11-09 19:14:40 -0700 |
---|---|---|
committer | Simon Glass | 2022-11-22 15:13:34 -0700 |
commit | c39c7c62d62771b87f4dd5496d94e7769c567ad1 (patch) | |
tree | 255c3d7230497c94d7083d2d0671e9ac84ada6fc | |
parent | 88ff7cb1c8bb411572ac82cd7e312281d8e09d3b (diff) |
Makefile: Correct the binman rule
This currently uses if_changed on a phony target. Use a real file as the
target and add FORCE at the end, as required. Drop the 'inputs' phony
since it is not needed.
Signed-off-by: Simon Glass <sjg@chromium.org>
-rw-r--r-- | Makefile | 11 |
1 files changed, 4 insertions, 7 deletions
@@ -1108,18 +1108,15 @@ define deprecated endef -PHONY += inputs -inputs: $(INPUTS-y) - -all: .binman_stamp inputs +# Timestamp file to make sure that binman always runs +.binman_stamp: $(INPUTS-y) FORCE ifeq ($(CONFIG_BINMAN),y) $(call if_changed,binman) endif - -# Timestamp file to make sure that binman always runs -.binman_stamp: FORCE @touch $@ +all: .binman_stamp + ifeq ($(CONFIG_DEPRECATED),y) $(warning "You have deprecated configuration options enabled in your .config! Please check your configuration.") endif |