diff options
-rwxr-xr-x | util/lint/kconfig_lint | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint index fb8e60f8a5..62997dd2b8 100755 --- a/util/lint/kconfig_lint +++ b/util/lint/kconfig_lint @@ -682,6 +682,13 @@ sub build_and_parse_kconfig_tree { push( @inside_menu, $menu ); } + # visible if <expr> + elsif ( $line =~ /^\s*visible if.*$/ ) { + # Must come directly after menu line (and on a separate line) + # but kconfig already checks for that. + # Ignore it. + } + # endmenu elsif ( $line =~ /^\s*endmenu/ ) { $inside_config = ""; |