summaryrefslogtreecommitdiff
path: root/util/crossgcc
diff options
context:
space:
mode:
authorNico Huber <nico.h@gmx.de>2016-01-15 00:30:23 +0100
committerPatrick Georgi <pgeorgi@google.com>2016-01-22 17:01:47 +0100
commit420b2a513e48e7e9416a93dd7681c57328942708 (patch)
tree03476f941729b6b33437656f439d3f0226cf38c2 /util/crossgcc
parent5f92a5a29540418de3338d274936cc7f7167ec86 (diff)
downloadcoreboot-420b2a513e48e7e9416a93dd7681c57328942708.tar.xz
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>
Diffstat (limited to 'util/crossgcc')
-rwxr-xr-xutil/crossgcc/buildgcc5
1 files changed, 0 insertions, 5 deletions
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