commit | 420b2a513e48e7e9416a93dd7681c57328942708 | [log] [tgz] |
---|---|---|
author | Nico Huber <nico.h@gmx.de> | Fri Jan 15 00:30:23 2016 +0100 |
committer | Patrick Georgi <pgeorgi@google.com> | Fri Jan 22 17:01:47 2016 +0100 |
tree | 03476f941729b6b33437656f439d3f0226cf38c2 | |
parent | 5f92a5a29540418de3338d274936cc7f7167ec86 [diff] |
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@gmx.de> Reviewed-on: https://review.coreboot.org/13041 Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Patrick Georgi <pgeorgi@google.com>