Change in coreboot[master]: Kconfig: Remove BOARD_ID_MANUAL option - coreboot-gerrit

5 Dec 2017


      build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/22694 )
Change subject: Kconfig: Remove BOARD_ID_MANUAL option
......................................................................
Patch Set 1: Verified-1
Build Failed
https://qa.coreboot.org/job/coreboot-checkpatch/18892/ : FAILURE
https://qa.coreboot.org/job/coreboot-gerrit/64058/ : SUCCESS
-- 
To view, visit https://review.coreboot.org/22694
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I4e7018066eadb38bced96d8eca2ffd4f0dd17110
Gerrit-Change-Number: 22694
Gerrit-PatchSet: 1
Gerrit-Owner: Julius Werner jwerner@chromium.org
Gerrit-Reviewer: Aaron Durbin adurbin@chromium.org
Gerrit-Reviewer: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Comment-Date: Tue, 05 Dec 2017 12:07:41 +0000
Gerrit-HasComments: No