summaryrefslogtreecommitdiff
path: root/util/lint/kconfig_lint
diff options
context:
space:
mode:
Diffstat (limited to 'util/lint/kconfig_lint')
-rwxr-xr-xutil/lint/kconfig_lint11
1 files changed, 1 insertions, 10 deletions
diff --git a/util/lint/kconfig_lint b/util/lint/kconfig_lint
index 7f26ef298f..76dd78764c 100755
--- a/util/lint/kconfig_lint
+++ b/util/lint/kconfig_lint
@@ -814,16 +814,7 @@ sub add_symbol {
}
else {
$symbols{$symbol}{count}++;
-
- if ( $inside_choice && !$symbols{$symbol}{choice} ) {
- show_error( "$symbol entry at $filename:$line_no has already been created inside a choice block "
- . "at $symbols{$symbol}{0}{file}:$symbols{$symbol}{0}{line_no}." );
- }
- elsif ( !$inside_choice && $symbols{$symbol}{choice} ) {
- show_error( "$symbol entry at $filename:$line_no has already been created outside a choice block "
- . "at $symbols{$symbol}{0}{file}:$symbols{$symbol}{0}{line_no}." );
- }
- elsif ( $inside_choice && $symbols{$symbol}{choice} ) {
+ if ( $inside_choice && $symbols{$symbol}{choice} ) {
show_error( "$symbol entry at $filename:$line_no has already been created inside another choice block "
. "at $symbols{$symbol}{0}{file}:$symbols{$symbol}{0}{line_no}." );
}