summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2018-09-16 21:35:46 +0200
committerPatrick Georgi <pgeorgi@google.com>2018-09-18 15:00:44 +0000
commitfcc2950a6027ae008d14913a7a91363a49d651b0 (patch)
tree78a5b99523ecf482f24b93aced9bc77ae42388bc /util/lint
parent54fcb7862dd50633bb7c68c0ca1d98975891a073 (diff)
util/lint: Ignore "visible if" statement in Kconfig files
They allow reducing the visible set of options to remove clutter. Change-Id: I18c953c7feae23c0752392a2bf8f49783c17310e Signed-off-by: Patrick Georgi <pgeorgi@google.com> Reviewed-on: https://review.coreboot.org/28635 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint')
-rwxr-xr-xutil/lint/kconfig_lint7
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 = "";