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>
This commit is contained in:
Nico Huber 2016-09-20 13:07:49 +02:00 committed by Nico Huber
parent 75797166ce
commit 04a1f6a3bc
1 changed files with 2 additions and 0 deletions

View File

@ -241,6 +241,8 @@ check_gnat() {
printf "requires bootstrapping (-b).${NC}\n\n"
HALT_FOR_TOOLS=1
fi
else
please_install gnat
fi
}