https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125583
Drea Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=119729
--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Tamar Christina from comment #2)
> So perhaps configure should stop early then?
That is PR 119729.
