diff options
author | Patrick Georgi <pgeorgi@google.com> | 2017-07-10 11:48:34 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2017-07-11 06:08:16 +0000 |
commit | 8f2cdad882ba8859f297826a851a7e08564104b4 (patch) | |
tree | 2e1d9152a3b26cd1f2f0a1726df2bad0d623e7e0 /util/docker/coreboot-jenkins-node/Dockerfile | |
parent | 5d09d48050db8cd25d49a52141cd8b956f36e6f7 (diff) |
crossgcc: Prefer gnatgcc over gcc if available
For distros that package and version gnat independently from gcc (such
as Ubuntu), try to build with gnatgcc first.
This fixes the issue of gcc -print-prog-name=gnat1 failing because gcc
is of a different version.
Change-Id: Icec6d1fba8855e88ac91d47842dcb7f6b9d35461
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/20517
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/docker/coreboot-jenkins-node/Dockerfile')
0 files changed, 0 insertions, 0 deletions