blob: b5ca35aa1741d0d0ba66da14f272d94dc2d55c2a [file] [log] [blame]
David Woodhouse68475352006-06-18 12:02:10 +01001#!/bin/sh
2
Alexey Dobriyan120e2a92006-09-12 20:36:00 -07003for FILE in `grep '^[ \t]*#[ \t]*include[ \t]*<' $2 | cut -f2 -d\< | cut -f1 -d\> | egrep ^linux\|^asm` ; do
David Woodhouse68475352006-06-18 12:02:10 +01004 if [ ! -r $1/$FILE ]; then
Alexey Dobriyand5e064a2006-09-12 20:36:01 -07005 echo $2 requires $FILE, which does not exist in exported headers
David Woodhouse68475352006-06-18 12:02:10 +01006 exit 1
7 fi
8done