aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2018-11-23 15:55:56 +0100
committerMartin Roth <martinroth@google.com>2020-02-19 15:13:37 +0000
commitcbc5b99ac9e5856631109b1e7f20e80799beb1e4 (patch)
tree3b1b52718709f2be01fde951d6d6dcfcc1e20873 /src
parent0d866f8cd830f0ec6e84d7b284f15d2a2b485888 (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 'src')
0 files changed, 0 insertions, 0 deletions