[coreboot-gerrit] Change in coreboot[master]: coreboot-sdk: Prefer gnat package over gnat-6

[Nico Huber (Code Review)]

Nico Huber has uploaded a new patch set (#2). ( https://review.coreboot.org/29454 )

Change subject: coreboot-sdk: Prefer gnat package over gnat-6
......................................................................

coreboot-sdk: Prefer gnat package over gnat-6

The choice of `gnat-6` was originally an optimization because the meta-
package `gnat` installs not only the current GNAT version but also other
unwanted (and hard to explain) dependencies. Later it was necessary
because GCC 8 couldn't compile our older crossgcc.

Now that we switched crossgcc to GCC 8.1, `gnat` should be fine.

Change-Id: Ica8a1f9d6d71a74ffc4ec76aa0cfbe4b604cde1b
Signed-off-by: Nico Huber <nico.h at gmx.de>
---
M util/docker/coreboot-sdk/Dockerfile
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://review.coreboot.org:29418/coreboot refs/changes/54/29454/2
-- 
To view, visit https://review.coreboot.org/29454
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: newpatchset
Gerrit-Change-Id: Ica8a1f9d6d71a74ffc4ec76aa0cfbe4b604cde1b
Gerrit-Change-Number: 29454
Gerrit-PatchSet: 2
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20181104/5e32b91f/attachment.html>