https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82141
Arnaud Charlet <charlet at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |charlet at gcc dot gnu.org
--- Comment #21 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Right and in particular don't get confused: --disable-libada does NOT disable
the build of the Ada runtime in our builds, it only disables the automatic
build when doing a 'make', but the Ada runtime is definitely built in this
setup via an explicit make gnatlib, so that's a red herring. The sem_ch7.adb
change is also
clearly a red herring/not the root cause.
