diff options
| author | David Woodhouse | 2006-06-18 12:02:10 +0100 |
|---|---|---|
| committer | David Woodhouse | 2006-06-18 12:02:10 +0100 |
| commit | 684753599afc76aa8f66c731bafb7204b39265b8 (patch) | |
| tree | 660da6e957637f063735c5f27090674d4249c573 /Makefile | |
| parent | 8d730cfb50cc77da6d00f941daef440918a1922f (diff) | |
Basic implementation of 'make headers_check'
Based on the 'headers_install' target, this performs a basic sanity check
on the exported headers -- so far only checking that they do not include
any other headers which aren't selected for import, but easily extendable.
Signed-off-by: David Woodhouse <dwmw2@infradead.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -866,6 +866,10 @@ headers_install: include/linux/version.h $(Q)rm -rf $(INSTALL_HDR_PATH)/include $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include +PHONY += headers_check +headers_check: headers_install + $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include HDRCHECK=1 + # --------------------------------------------------------------------------- # Modules |