diff --git a/scripts/Makefile.headersinst b/scripts/Makefile.headersinst index f7b6705fd6a37092cb530f674a1e6a434e34bbd6..8cd63014a0d16c7e80a4fae3715cca5f2156d753 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 $(call cmd,check) # Other dependencies for $(check-y) --include /dev/null $(check-y) +include /dev/null $(wildcard $(check-y)) # ... but leave $(check-y) as .PHONY for now until those deps are actually correct. .PHONY: $(check-y)