[gcc r13-5660] driver, toplevel: Avoid emitting the version information twice.

[Iain D Sandoe <iains@gcc.gnu.org>]

https://gcc.gnu.org/g:f25dd779d44fb75a6c5e1c73e5bf2c85af180026

commit r13-5660-gf25dd779d44fb75a6c5e1c73e5bf2c85af180026
Author: Iain Sandoe <iain@sandoe.co.uk>
Date:   Sun Jan 22 21:12:15 2023 +0000

    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:
---
 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);