| David Woodhouse | 6847535 | 2006-06-18 12:02:10 +0100 | [diff] [blame] | 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 | ||||