Change in coreboot[master]: kconfig_lint: Fix rule for duplicate options in choice blocks - coreboot-gerrit

7 Mar 2022


      Attention is currently required from: Felix Singer, Nico Huber, Martin Roth.
Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/58397 )
Change subject: kconfig_lint: Fix rule for duplicate options in choice blocks
......................................................................
Patch Set 1: Code-Review+1
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/58397
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I57733ecae20558ccebe6ac800812c755ff7cb1a8
Gerrit-Change-Number: 58397
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Angel Pons th3fanbus@gmail.com
Gerrit-Reviewer: Felix Singer felixsinger@posteo.net
Gerrit-Reviewer: Martin Roth martinroth@google.com
Gerrit-Reviewer: Michael Niewöhner foss@mniewoehner.de
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: Paul Menzel paulepanter@mailbox.org
Gerrit-Attention: Felix Singer felixsinger@posteo.net
Gerrit-Attention: Nico Huber nico.h@gmx.de
Gerrit-Attention: Martin Roth martinroth@google.com
Gerrit-Comment-Date: Mon, 07 Mar 2022 15:34:03 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment