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 f7b6705..8cd6301 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) |
