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 42937f0..4c15d4f 100644 (file)
--- 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);