diff options
| -rw-r--r-- | scripts/Makefile.headersinst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Makefile.headersinst b/scripts/Makefile.headersinst index f7b6705fd6a3..8cd63014a0d1 100644 --- a/scripts/Makefile.headersinst +++ b/scripts/Makefile.headersinst | |||
| @@ -144,7 +144,7 @@ $(check-y) : $(INSTALL_HDR_PATH)/$(_dst)/.check.%.h : $(INSTALL_HDR_PATH)/$(_dst | |||
| 144 | $(call cmd,check) | 144 | $(call cmd,check) |
| 145 | 145 | ||
| 146 | # Other dependencies for $(check-y) | 146 | # Other dependencies for $(check-y) |
| 147 | -include /dev/null $(check-y) | 147 | include /dev/null $(wildcard $(check-y)) |
| 148 | 148 | ||
| 149 | # ... but leave $(check-y) as .PHONY for now until those deps are actually correct. | 149 | # ... but leave $(check-y) as .PHONY for now until those deps are actually correct. |
| 150 | .PHONY: $(check-y) | 150 | .PHONY: $(check-y) |