summaryrefslogtreecommitdiff
path: root/src/security/Makefile.inc
diff options
context:
space:
mode:
authorFelix Singer <felixsinger@posteo.net>2022-08-20 11:17:46 +0200
committerMartin Roth <martin.roth@amd.corp-partner.google.com>2022-08-27 16:01:52 +0000
commitfeab41b030890e1a11519cbdf603c43f2baafdaa (patch)
treee81c98fc403e294cd9a48464bcc86555ae70455f /src/security/Makefile.inc
parentacbdc4d72ed9b2027dc32439cb13d3c0d75ea1fc (diff)
util/docker/coreboot-sdk: Install GNAT 12
For some reason GNAT 11 is not able to build GNAT 12, since there are some Ada errors during the compilation. However, it works with GNAT 12. So use GNAT 12 for the host toolchain instead. Change-Id: If00a05a0c8564e624809268a12fae28261e380a2 Signed-off-by: Felix Singer <felixsinger@posteo.net> Reviewed-on: https://review.coreboot.org/c/coreboot/+/66924 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin Roth <martin.roth@amd.corp-partner.google.com>
Diffstat (limited to 'src/security/Makefile.inc')
0 files changed, 0 insertions, 0 deletions