From: Iain Sandoe <iain@sandoe.co.uk>
Date: Sun, 22 Jan 2023 21:12:15 +0000 (+0000)
Subject: driver, toplevel: Avoid emitting the version information twice.
X-Git-Tag: basepoints/gcc-14~1547
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f25dd779d44fb75a6c5e1c73e5bf2c85af180026;p=thirdparty%2Fgcc.git

driver, toplevel: Avoid emitting the version information twice.

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 <iain@sandoe.co.uk>

gcc/ChangeLog:

	* toplev.cc (toplev::main): Only print the version information header
	from toplevel main().
---

diff --git a/gcc/toplev.cc b/gcc/toplev.cc
index 42937f0ba004..4c15d4f542e1 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);