Commit e39e4379 authored by Philip Withnall's avatar Philip Withnall

build: Fix `make check` wrt header file naming changes

parent 2906c14a
......@@ -75,7 +75,7 @@ check-local: check-headers
check-headers:
@any_missing=0; for header_file in $(public_headers); do \
if test "x$$header_file" != "x$(main_header)"; then \
if ! grep "#include <$$header_file>" $(top_srcdir)/$(main_header) >/dev/null; then \
if ! grep "#include <$${header_file#lib}>" $(top_srcdir)/$(main_header) >/dev/null; then \
echo "$(main_header) doesn't appear to include \"$$header_file\""; \
any_missing=1; \
fi; \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment