5 Dec
2017
5 Dec
'17
1:07 p.m.
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