[coreboot-gerrit] Change in coreboot[master]: util/docker: Update makefile for servers and local use

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/18004 )

Change subject: util/docker: Update makefile for servers and local use
......................................................................


Patch Set 5: Verified-1

Build Failed 

https://qa.coreboot.org/job/coreboot-checkpatch/7061/ : ABORTED

https://qa.coreboot.org/job/coreboot-gerrit/51102/ : ABORTED

-- 
To view, visit https://review.coreboot.org/18004
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-MessageType: comment
Gerrit-Change-Id: I1896f33e7eddfe3248f44ae780de65ce50d5dd99
Gerrit-PatchSet: 5
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Martin Roth <martinroth at google.com>
Gerrit-Reviewer: Paul Menzel <paulepanter at users.sourceforge.net>
Gerrit-Reviewer: Philipp Deppenwiese <zaolin.daisuki at gmail.com>
Gerrit-Reviewer: Philippe Mathieu-Daudé <philippe.mathieu.daude at gmail.com>
Gerrit-Reviewer: build bot (Jenkins)
Gerrit-HasComments: No