diff options
| author | Nico Huber <nico.h@gmx.de> | 2016-01-15 00:30:23 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2016-01-22 17:01:47 +0100 |
| commit | 420b2a513e48e7e9416a93dd7681c57328942708 (patch) | |
| tree | 03476f941729b6b33437656f439d3f0226cf38c2 /Documentation | |
| 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>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions