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

[Nico Huber]

Nico Huber ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/16677

-gerrit

commit 382725a5b6ce54f6f72a916cbd24b08beacdf79f
Author: Nico Huber 
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 
---
 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
 }