diff options
author | Patrick Georgi <pgeorgi@google.com> | 2018-11-23 15:55:56 +0100 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2020-02-19 15:13:37 +0000 |
commit | cbc5b99ac9e5856631109b1e7f20e80799beb1e4 (patch) | |
tree | 3b1b52718709f2be01fde951d6d6dcfcc1e20873 /MAINTAINERS | |
parent | 0d866f8cd830f0ec6e84d7b284f15d2a2b485888 (diff) |
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 <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/29813
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions