diff options
-rw-r--r-- | scripts/Makefile.headersinst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/Makefile.headersinst b/scripts/Makefile.headersinst index c6fb2b75d813..086a821ba8f5 100644 --- a/scripts/Makefile.headersinst +++ b/scripts/Makefile.headersinst | |||
@@ -26,7 +26,7 @@ subdirs := $(patsubst $(srcdir)/%/,%,\ | |||
26 | # Recursion | 26 | # Recursion |
27 | __headers: $(subdirs) | 27 | __headers: $(subdirs) |
28 | 28 | ||
29 | .PHONY: $(subdirs) | 29 | PHONY += $(subdirs) |
30 | $(subdirs): | 30 | $(subdirs): |
31 | $(Q)$(MAKE) $(hdr-inst)=$(obj)/$@ dst=$(dst)/$@ | 31 | $(Q)$(MAKE) $(hdr-inst)=$(obj)/$@ dst=$(dst)/$@ |
32 | 32 | ||
@@ -123,6 +123,7 @@ endif | |||
123 | 123 | ||
124 | endif # skip-inst | 124 | endif # skip-inst |
125 | 125 | ||
126 | .PHONY: $(PHONY) | ||
127 | PHONY += FORCE | 126 | PHONY += FORCE |
128 | FORCE: ; | 127 | FORCE: ; |
128 | |||
129 | .PHONY: $(PHONY) | ||