Change subject: coreboot-sdk: Don't install libisl-dev
......................................................................
--
To view, visit
https://review.coreboot.org/29453
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: I9f9115d8ab33cbe11aa77f16c98465e1c1dedeac
Gerrit-Change-Number: 29453
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Arthur Heymans
arthur@aheymans.xyz
Gerrit-Reviewer: Jonathan Neuschäfer
j.neuschaefer@gmx.net
Gerrit-Reviewer: Martin Roth
martinroth@google.com
Gerrit-Reviewer: Patrick Georgi
pgeorgi@google.com
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Comment-Date: Sun, 04 Nov 2018 20:55:37 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes