https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115270

--- Comment #3 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot 
Uni-Bielefeld.DE> ---
> --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Created attachment 58304
>   --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58304&action=edit
> Tentative fix
>
> Please give it a try when you have a chance.

As it happens, I still had the failed build tree around, so I just
dropped in the patch and restarted the build.  It completed successfully
and the following make check-ada only found the expected failures.

Thanks for the quick fix.

Reply via email to