From 420b2a513e48e7e9416a93dd7681c57328942708 Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.h@gmx.de>
Date: Fri, 15 Jan 2016 00:30:23 +0100
Subject: util/crossgcc: Don't build gnattools

I thought we'd be using gnatmake but it's deprecated. Who needs it
anyway?

Change-Id: Ic08add72e771fa346c8a736ea901863ea5737d91
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/13041
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
---
 util/crossgcc/buildgcc | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'util/crossgcc')

diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index c665412072..b4f8c6bdcc 100755
--- a/util/crossgcc/buildgcc
+++ b/util/crossgcc/buildgcc
@@ -441,11 +441,6 @@ build_GCC() {
 		--with-pkgversion="coreboot toolchain v$CROSSGCC_VERSION $CROSSGCC_DATE" \
 		|| touch .failed
 	$MAKE $JOBS CFLAGS_FOR_BUILD="$HOSTCFLAGS" all-gcc || touch .failed
-
-	if [ "$(echo ${LANGUAGES} | grep -c '\<ada\>')" -gt 0 ]; then
-		$MAKE $JOBS CFLAGS_FOR_BUILD="$HOSTCFLAGS" -Cgcc/ cross-gnattools || touch .failed
-	fi
-
 	$MAKE install-gcc DESTDIR=$DESTDIR || touch .failed
 
 	if [ "$(echo $TARGETARCH | grep -c -- -mingw32)" -eq 0 ]; then
-- 
cgit v1.2.3