diff options
| author | Michael Niewöhner <foss@mniewoehner.de> | 2021-10-17 17:43:53 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2021-10-20 15:51:36 +0000 |
| commit | 70fb5cb514399db41a95849827c039b6c66ddbd7 (patch) | |
| tree | 4764fa61a36d48ab8fdc4d5a07d027c0005ce788 /util | |
| parent | a76e64709491664765e33b55826e5af87c1f20ce (diff) | |
kconfig_lint: put $inside_choice together right in the first place
Instead of substituting the delimiter later, put $inside_choice together
right in the first place.
Signed-off-by: Michael Niewöhner <foss@mniewoehner.de>
Change-Id: Ia713510a683101c48c86a1c3722ebb1607a29288
Reviewed-on: https://review.coreboot.org/c/coreboot/+/58400
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util')
| -rwxr-xr-x | util/lint/kconfig_lint | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint index 76dd78764c..9e2c207866 100755 --- a/util/lint/kconfig_lint +++ b/util/lint/kconfig_lint @@ -614,7 +614,7 @@ sub build_and_parse_kconfig_tree { $choice_symbol = $symbol; } $inside_config = ""; - $inside_choice = "$filename $line_no"; + $inside_choice = "$filename:$line_no"; $configs_inside_choice = 0; # Kconfig verifies that choice blocks have a prompt @@ -806,7 +806,7 @@ sub add_symbol { $symbols{$symbol}{choice} = 1; # remember the location of the choice - $symbols{$symbol}{choice_loc} = join(':', (split / /, $inside_choice)); + $symbols{$symbol}{choice_loc} = $inside_choice; } else { $symbols{$symbol}{choice} = 0; |