diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/headers_check.pl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/headers_check.pl b/scripts/headers_check.pl index 64ac2380e4d5..62320f93e903 100644 --- a/scripts/headers_check.pl +++ b/scripts/headers_check.pl | |||
| @@ -65,7 +65,11 @@ sub check_include | |||
| 65 | 65 | ||
| 66 | sub check_declarations | 66 | sub check_declarations |
| 67 | { | 67 | { |
| 68 | if ($line =~m/^(\s*extern|unsigned|char|short|int|long|void)\b/) { | 68 | # soundcard.h is what it is |
| 69 | if ($line =~ m/^void seqbuf_dump\(void\);/) { | ||
| 70 | return; | ||
| 71 | } | ||
| 72 | if ($line =~ m/^(\s*extern|unsigned|char|short|int|long|void)\b/) { | ||
| 69 | printf STDERR "$filename:$lineno: " . | 73 | printf STDERR "$filename:$lineno: " . |
| 70 | "userspace cannot reference function or " . | 74 | "userspace cannot reference function or " . |
| 71 | "variable defined in the kernel\n"; | 75 | "variable defined in the kernel\n"; |
