diff options
Diffstat (limited to 'util/crossgcc/buildgcc')
| -rwxr-xr-x | util/crossgcc/buildgcc | 5 |
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 |