diff options
Diffstat (limited to 'scripts/hdrcheck.sh')
| -rwxr-xr-x | scripts/hdrcheck.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/hdrcheck.sh b/scripts/hdrcheck.sh index b5ca35aa1741..31598584f871 100755 --- a/scripts/hdrcheck.sh +++ b/scripts/hdrcheck.sh | |||
| @@ -6,3 +6,5 @@ for FILE in `grep '^[ \t]*#[ \t]*include[ \t]*<' $2 | cut -f2 -d\< | cut -f1 -d\ | |||
| 6 | exit 1 | 6 | exit 1 |
| 7 | fi | 7 | fi |
| 8 | done | 8 | done |
| 9 | # FIXME: List dependencies into $3 | ||
| 10 | touch $3 | ||