[coreboot-gerrit] Patch merged into coreboot/master: util/crossgcc: Don't build gnattools
gerrit at coreboot.org
gerrit at coreboot.org
Fri Jan 22 17:01:50 CET 2016
the following patch was just integrated into master:
commit 420b2a513e48e7e9416a93dd7681c57328942708
Author: Nico Huber <nico.h at gmx.de>
Date: Fri Jan 15 00:30:23 2016 +0100
util/crossgcc: Don't build gnattools
I thought we'd be using gnatmake but it's deprecated. Who needs it
anyway?
Change-Id: Ic08add72e771fa346c8a736ea901863ea5737d91
Signed-off-by: Nico Huber <nico.h at gmx.de>
Reviewed-on: https://review.coreboot.org/13041
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi at google.com>
See https://review.coreboot.org/13041 for details.
-gerrit
More information about the coreboot-gerrit
mailing list