[coreboot-gerrit] Patch set updated for coreboot: util/crossgcc: Don't build gnattools
Nico Huber (nico.h@gmx.de)
gerrit at coreboot.org
Fri Jan 22 00:42:37 CET 2016
Nico Huber (nico.h at gmx.de) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/13041
-gerrit
commit 5923763bc1fa805c411ae870e98e918b5b240647
Author: Nico Huber <nico.h at gmx.de>
Date: Fri Jan 15 00:30:23 2016 +0100
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 at gmx.de>
---
util/crossgcc/buildgcc | 5 -----
1 file changed, 5 deletions(-)
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc
index c665412..b4f8c6b 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
More information about the coreboot-gerrit
mailing list