diff options
| author | Nico Huber <nico.huber@secunet.com> | 2016-09-20 13:01:57 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2016-09-21 22:07:59 +0200 |
| commit | 75797166cef66a84f38856f74a671968c6a7cd1f (patch) | |
| tree | 01cbe30164aac3ae3a7ba4b8874961414e61d0bb /util/lint/lint-000-license-headers | |
| parent | 156d87c024697161333087e155e656efeb070bcc (diff) | |
buildgcc: Don't try to build gnat with a different version
Change-Id: I64a33d2cc4793e54a50fa439a4461c40d424b569
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/16676
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions