build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/26887 )
Change subject: util/docker: rename docs.c.o to doc.c.o
......................................................................
Patch Set 1: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-gerrit/74398/ : SUCCESS
https://qa.coreboot.org/job/coreboot-checkpatch/28516/ : SUCCESS
--
To view, visit
https://review.coreboot.org/26887
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I2dcf2385e6d953b7fe02caef72413149a332ec24
Gerrit-Change-Number: 26887
Gerrit-PatchSet: 1
Gerrit-Owner: Patrick Georgi
pgeorgi@google.com
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Comment-Date: Wed, 06 Jun 2018 11:28:12 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes