Please change it so that it could be built successfully, then I can test.

To view, visit change 40754. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I88950e15faf1b90ca6e688864bac40bf9779c32e

Gerrit-Change-Number: 40754

Gerrit-PatchSet: 1

Gerrit-Owner: Paul Menzel <paulepanter@users.sourceforge.net>

Gerrit-Reviewer: Alexander Couzens <lynxis@fe80.eu>

Gerrit-Reviewer: Idwer Vollering <vidwer@gmail.com>

Gerrit-Reviewer: Mike Banon <mikebdp2@gmail.com>

Gerrit-Reviewer: Patrick Rudolph <siro@das-labor.org>

Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>

Gerrit-CC: Mike Banon <mikebdp2@gmail.com>

Gerrit-Comment-Date: Mon, 27 Apr 2020 12:27:52 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment