diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/headers_check.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/headers_check.pl b/scripts/headers_check.pl index 56f90a480899..4414c43857ad 100644 --- a/scripts/headers_check.pl +++ b/scripts/headers_check.pl | |||
@@ -70,7 +70,7 @@ sub check_prototypes | |||
70 | 70 | ||
71 | sub check_config | 71 | sub check_config |
72 | { | 72 | { |
73 | if ($line =~ m/[^a-zA-Z0-9_]+CONFIG_([a-zA-Z0-9]+)[^a-zA-Z0-9]/) { | 73 | if ($line =~ m/[^a-zA-Z0-9_]+CONFIG_([a-zA-Z0-9_]+)[^a-zA-Z0-9_]/) { |
74 | printf STDERR "$filename:$lineno: leaks CONFIG_$1 to userspace where it is not valid\n"; | 74 | printf STDERR "$filename:$lineno: leaks CONFIG_$1 to userspace where it is not valid\n"; |
75 | } | 75 | } |
76 | } | 76 | } |