On Tue, Jan 06, 2026 at 14:39:55 +0100, Richard Biener wrote:
> On Mon, Jan 5, 2026 at 2:13 PM Ben Boeckel <[email protected]> wrote:
> >
> > On Mon, Jan 05, 2026 at 08:11:09 -0500, Ben Boeckel wrote:
> > > On Mon, Jan 05, 2026 at 11:07:42 +0100, Richard Biener wrote:
> > > > # Please report bugs to <https://gcc.gnu.org/bugs/>
> > > >
> > > > that seems odd, maybe # Please report bugs following instructions at
> > > > <https://gcc.gnu.org/bugs/>
> > > > as this isn't the address for bugzilla?
> > >
> > > Good catch; I'll respin.
> > >
> > > Thanks for the review,
> >
> > Oh, sorry. This is `autoconf`-generated. The wording comes from there.
>
> Shouldn't we then use https://gcc.gnu.org/bugzilla in such context?
That misses a lot of context for making a *good* bug report though. I
think anyone actually filing a bug after looking at `configure`'s source
which has this wording can figure out what is intended here, but that's
me. Iain agreed here:
https://gcc.gnu.org/pipermail/gcc-patches/2025-October/696729.html
--Ben
