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>
This commit is contained in:
parent
5f92a5a295
commit
420b2a513e
|
@ -441,11 +441,6 @@ build_GCC() {
|
||||||
--with-pkgversion="coreboot toolchain v$CROSSGCC_VERSION $CROSSGCC_DATE" \
|
--with-pkgversion="coreboot toolchain v$CROSSGCC_VERSION $CROSSGCC_DATE" \
|
||||||
|| touch .failed
|
|| touch .failed
|
||||||
$MAKE $JOBS CFLAGS_FOR_BUILD="$HOSTCFLAGS" all-gcc || 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
|
$MAKE install-gcc DESTDIR=$DESTDIR || touch .failed
|
||||||
|
|
||||||
if [ "$(echo $TARGETARCH | grep -c -- -mingw32)" -eq 0 ]; then
|
if [ "$(echo $TARGETARCH | grep -c -- -mingw32)" -eq 0 ]; then
|
||||||
|
|
Loading…
Reference in New Issue