diff options
Diffstat (limited to 'util/crossgcc/buildgcc')
| -rwxr-xr-x | util/crossgcc/buildgcc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index 049ace40b3..4bd89a26b6 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -425,6 +425,11 @@ 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 |