diff options
| author | Nico Huber <nico.huber@secunet.com> | 2016-09-20 13:07:49 +0200 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2016-09-21 22:08:32 +0200 |
| commit | 04a1f6a3bce5d73ad7c43bced4683c0faffc368b (patch) | |
| tree | 491eb16d3eecd8b885cecc83c092603a439b85c5 /src/mainboard/nokia | |
| parent | 75797166cef66a84f38856f74a671968c6a7cd1f (diff) | |
buildgcc: Ask the user to install gnat if it's missing
Change-Id: Ib840eac29fc8cedfaef4847fd9700bd4a70300ba
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/16677
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/mainboard/nokia')
0 files changed, 0 insertions, 0 deletions