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 /scripts/hdrcheck.sh | |
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 'scripts/hdrcheck.sh')
-rwxr-xr-x | scripts/hdrcheck.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/hdrcheck.sh b/scripts/hdrcheck.sh new file mode 100755 index 000000000000..b3bb683b56b6 --- /dev/null +++ b/scripts/hdrcheck.sh | |||
@@ -0,0 +1,8 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | for FILE in `grep '^#include <' $2 | cut -f2 -d\< | cut -f1 -d\> | egrep ^linux\|^asm` ; do | ||
4 | if [ ! -r $1/$FILE ]; then | ||
5 | echo $2 requires $FILE, which does not exist | ||
6 | exit 1 | ||
7 | fi | ||
8 | done | ||