We can also check this in the makefile and kill the build if that's desired.

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

Gerrit-Project: coreboot

Gerrit-Branch: master

Gerrit-Change-Id: I2a1ccb62c7678f264015c87b9004be6a106f804a

Gerrit-Change-Number: 33641

Gerrit-PatchSet: 1

Gerrit-Owner: Martin Roth <martinroth@google.com>

Gerrit-Reviewer: Angel Pons <th3fanbus@gmail.com>

Gerrit-Reviewer: Martin Roth <martinroth@google.com>

Gerrit-Reviewer: Nico Huber <nico.h@gmx.de>

Gerrit-Reviewer: Patrick Georgi <pgeorgi@google.com>

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

Gerrit-Comment-Date: Fri, 21 Jun 2019 16:35:46 +0000

Gerrit-HasComments: No

Gerrit-Has-Labels: No

Gerrit-MessageType: comment