| 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 |
| Alexey Dobriyan | d5e064a | 2006-09-12 20:36:01 -0700 | [diff] [blame] | 5 | echo $2 requires $FILE, which does not exist in exported headers |
| David Woodhouse | 6847535 | 2006-06-18 12:02:10 +0100 | [diff] [blame] | 6 | exit 1 |
| 7 | fi |
| 8 | done |