diff options
author | Nico Huber <nico.h@gmx.de> | 2018-11-04 16:06:26 +0100 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2018-11-05 21:32:22 +0000 |
commit | b133c61a9151b3b7b9c6b62091a606498c5f7568 (patch) | |
tree | e58a2386ef95b627de1dc857dca1040ae84b9f3a /configs | |
parent | c8767058e42197e621d5c9b08978bdead154bb20 (diff) |
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@gmx.de>
Reviewed-on: https://review.coreboot.org/29454
Reviewed-by: Martin Roth <martinroth@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions