2006-06-18 19:02:10 +08:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2006-09-13 11:36:00 +08:00
|
|
|
for FILE in `grep '^[ \t]*#[ \t]*include[ \t]*<' $2 | cut -f2 -d\< | cut -f1 -d\> | egrep ^linux\|^asm` ; do
|
2006-06-18 19:02:10 +08:00
|
|
|
if [ ! -r $1/$FILE ]; then
|
2006-09-13 11:36:01 +08:00
|
|
|
echo $2 requires $FILE, which does not exist in exported headers
|
2006-06-18 19:02:10 +08:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
done
|
