diff options
Diffstat (limited to 'usr/include/headers_check.pl')
| -rwxr-xr-x | usr/include/headers_check.pl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/usr/include/headers_check.pl b/usr/include/headers_check.pl index af5a513eaa00..6cd6eb652c8d 100755 --- a/usr/include/headers_check.pl +++ b/usr/include/headers_check.pl @@ -40,7 +40,6 @@ foreach my $file (@files) { &check_include(); &check_asm_types(); &check_declarations(); - # Dropped for now. Too much noise &check_config(); } close $fh; } @@ -77,13 +76,6 @@ sub check_declarations } } -sub check_config -{ - if ($line =~ m/[^a-zA-Z0-9_]+CONFIG_([a-zA-Z0-9_]+)[^a-zA-Z0-9_]/) { - printf STDERR "$filename:$lineno: leaks CONFIG_$1 to userspace where it is not valid\n"; - } -} - my $linux_asm_types; sub check_asm_types { |