[coreboot-gerrit] Change in ...coreboot[master]: util/lint: Allow non-option carrying named choices

[Patrick Georgi (Code Review)]

Patrick Georgi has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/29813

Change subject: util/lint: Allow non-option carrying named choices
......................................................................

util/lint: Allow non-option carrying named choices

named choices can be overridden with a default later-on:

choice FOO
  config A
  config B
  config C
endchoice

...

if BOARD_FOO
choice FOO
  default A
endchoice
endif

Reflect that.

Change-Id: I6662e19685f6ab0b84c78b30aedc266c0e176039
Signed-off-by: Patrick Georgi 
---
M util/lint/kconfig_lint
1 file changed, 6 insertions(+), 2 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/13/29813/1

diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint
index eddd8de..4b0a77a 100755
--- a/util/lint/kconfig_lint
+++ b/util/lint/kconfig_lint
@@ -539,6 +539,7 @@
     my $inside_config = "";    # set to symbol name of the config section
     my @inside_menu   = ();    # stack of menu names
     my $inside_choice = "";
+    my $choice_symbol = "";
     my $configs_inside_choice;
     my %fileinfo;

@@ -626,6 +627,7 @@
                 my $symbol = $1;
                 add_symbol( $symbol, @inside_menu, $filename, $line_no, @inside_if );
                 handle_type( "bool", $symbol, $filename, $line_no );
+		$choice_symbol = $symbol;
             }
             $inside_config         = "";
             $inside_choice         = "$filename $line_no";
@@ -642,10 +644,12 @@
             }

$inside_choice = "";
-            if ( $configs_inside_choice == 0 ) {
-                show_error("choice block has no symbols at $filename:$line_no.");
+            if (( $configs_inside_choice == 0 ) &&
+	        ( $choice_symbol eq "" )) {
+                show_error("unnamed choice block has no symbols at $filename:$line_no.");
             }
             $configs_inside_choice = 0;
+	    $choice_symbol="";
         }

# [optional]