diff options
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; |