diff options
| author | David Woodhouse <dwmw2@infradead.org> | 2006-06-18 12:02:10 +0100 |
|---|---|---|
| committer | David Woodhouse <dwmw2@infradead.org> | 2006-06-18 12:02:10 +0100 |
| commit | 684753599afc76aa8f66c731bafb7204b39265b8 (patch) | |
| tree | 660da6e957637f063735c5f27090674d4249c573 /include/linux | |
| 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 'include/linux')
0 files changed, 0 insertions, 0 deletions