summaryrefslogtreecommitdiff
path: root/util/docker/coreboot-jenkins-node/Dockerfile
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2017-07-10 11:48:34 +0200
committerPatrick Georgi <pgeorgi@google.com>2017-07-11 06:08:16 +0000
commit8f2cdad882ba8859f297826a851a7e08564104b4 (patch)
tree2e1d9152a3b26cd1f2f0a1726df2bad0d623e7e0 /util/docker/coreboot-jenkins-node/Dockerfile
parent5d09d48050db8cd25d49a52141cd8b956f36e6f7 (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