diff options
author | David Woodhouse <dwmw2@infradead.org> | 2006-06-18 07:02:10 -0400 |
---|---|---|
committer | David Woodhouse <dwmw2@infradead.org> | 2006-06-18 07:02:10 -0400 |
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 | |||
866 | $(Q)rm -rf $(INSTALL_HDR_PATH)/include | 866 | $(Q)rm -rf $(INSTALL_HDR_PATH)/include |
867 | $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include | 867 | $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include |
868 | 868 | ||
869 | PHONY += headers_check | ||
870 | headers_check: headers_install | ||
871 | $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include HDRCHECK=1 | ||
872 | |||
869 | # --------------------------------------------------------------------------- | 873 | # --------------------------------------------------------------------------- |
870 | # Modules | 874 | # Modules |
871 | 875 | ||