[coreboot-gerrit] New patch to review for coreboot: buildgcc: Ask the user to install gnat if it's missing

[Nico Huber (nico.h@gmx.de)]

Nico Huber (nico.h at gmx.de) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16677

-gerrit

commit 382725a5b6ce54f6f72a916cbd24b08beacdf79f
Author: Nico Huber <nico.huber at secunet.com>
Date:   Tue Sep 20 13:07:49 2016 +0200

    buildgcc: Ask the user to install gnat if it's missing
    
    Change-Id: Ib840eac29fc8cedfaef4847fd9700bd4a70300ba
    Signed-off-by: Nico Huber <nico.huber at secunet.com>
---
 util/crossgcc/buildgcc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index 3783234..bdf9208 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
 }