diff options
| -rwxr-xr-x | util/lint/kconfig_lint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint index 44e898fa40..2cb125e4b8 100755 --- a/util/lint/kconfig_lint +++ b/util/lint/kconfig_lint @@ -253,7 +253,7 @@ sub check_is_enabled { my $file = $1; my $lineno = $2; $line = $3; - if ( $line !~ /(.*)IS_ENABLED\s*\(\s*CONFIG_(\w+)(.*)/ ) { + if ( ( $line !~ /(.*)IS_ENABLED\s*\(\s*CONFIG_(\w+)(.*)/ ) && ( $line !~ /(\/[\*\/])(.*)IS_ENABLED/ ) ) { show_warning("# uninterpreted IS_ENABLED at $file:$lineno: $line"); next; } |