On Thu, Feb 2, 2023 at 12:41 PM Iain Sandoe <i...@sandoe.co.uk> wrote: > > > > > On 30 Jan 2023, at 07:48, Richard Biener <richard.guent...@gmail.com> wrote: > > > > On Sun, Jan 29, 2023 at 12:35 PM Iain Sandoe via Gcc-patches > > <gcc-patches@gcc.gnu.org> wrote: > >> > >> Technically, this is seems to be a regression somewhere between 4.2 and > >> 4.6 but, it seems, not enough for anyone to care too much. Tested on > >> various Darwin versions and x86_64, powerpc64 linux, > >> OK for trunk {now,stage1}? > > > > This will elide the earlier printing, right? > > Yes. > > > eliding the 2nd would be prefered so the info comes first? > > Indeed; that is better .. > > how about this update then? > OK for trunk now/stage1?
OK now. Richard. > — 8< --- > > For a regular compile job, with -v we emit the GCC version information > twice - once from main() and once from process_options(). > > We do not need to output the second header. > > Signed-off-by: Iain Sandoe <i...@sandoe.co.uk> > > gcc/ChangeLog: > > * toplev.cc (toplev::main): Only print the version information header > from toplevel main(). > --- > gcc/toplev.cc | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/gcc/toplev.cc b/gcc/toplev.cc > index 42937f0ba00..4c15d4f542e 100644 > --- a/gcc/toplev.cc > +++ b/gcc/toplev.cc > @@ -1358,7 +1358,7 @@ process_options (bool no_backend) > option flags in use. */ > if (version_flag) > { > - print_version (stderr, "", true); > + /* We already printed the version header in main (). */ > if (!quiet_flag) > { > fputs ("options passed: ", stderr); > -- > 2.37.1 (Apple Git-137.1) > >