From 73cead2dd6dffdaa2455b0eb67f1040f7af20d15 Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.huber@secunet.com>
Date: Tue, 20 Sep 2016 13:07:49 +0200
Subject: [PATCH] UPSTREAM: buildgcc: Ask the user to install gnat if it's
 missing

BUG=None
BRANCH=None
TEST=None

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>

Change-Id: Ib840eac29fc8cedfaef4847fd9700bd4a70300ba
Reviewed-on: https://chromium-review.googlesource.com/388329
Commit-Ready: Furquan Shaikh <furquan@chromium.org>
Tested-by: Furquan Shaikh <furquan@chromium.org>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
---
 util/crossgcc/buildgcc | 2 ++
 1 file changed, 2 insertions(+)

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
 }