David Woodhouse | 6847535 | 2006-06-18 12:02:10 +0100 | [diff] [blame] | 1 | #!/bin/sh |
2 | |||||
Alexey Dobriyan | 120e2a9 | 2006-09-12 20:36:00 -0700 | [diff] [blame^] | 3 | for FILE in `grep '^[ \t]*#[ \t]*include[ \t]*<' $2 | cut -f2 -d\< | cut -f1 -d\> | egrep ^linux\|^asm` ; do |
David Woodhouse | 6847535 | 2006-06-18 12:02:10 +0100 | [diff] [blame] | 4 | if [ ! -r $1/$FILE ]; then |
5 | echo $2 requires $FILE, which does not exist | ||||
6 | exit 1 | ||||
7 | fi | ||||
8 | done |