summaryrefslogtreecommitdiff
path: root/util/crossgcc/buildgcc
diff options
context:
space:
mode:
authorNico Huber <nico.huber@secunet.com>2016-09-20 13:07:49 +0200
committerNico Huber <nico.h@gmx.de>2016-09-21 22:08:32 +0200
commit04a1f6a3bce5d73ad7c43bced4683c0faffc368b (patch)
tree491eb16d3eecd8b885cecc83c092603a439b85c5 /util/crossgcc/buildgcc
parent75797166cef66a84f38856f74a671968c6a7cd1f (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 'util/crossgcc/buildgcc')
-rwxr-xr-xutil/crossgcc/buildgcc2
1 files changed, 2 insertions, 0 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index da9947b961..74a6261764 100755
--- a/util/crossgcc/buildgcc
+++ b/util/crossgcc/buildgcc
@@ -241,6 +241,8 @@ check_gnat() {
printf "requires bootstrapping (-b).${NC}\n\n"
HALT_FOR_TOOLS=1
fi
+ else
+ please_install gnat
fi
}