(main): For -V output, give both driver and compiler versions, if they

differ.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@8472 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/gcc.c b/gcc/gcc.c
index 8de0b09..4f9e2c0 100644 (file)
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -4351,7 +4351,12 @@ main (argc, argv)
 
   if (verbose_flag)
     {
-      fprintf (stderr, "gcc version %s\n", version_string);
+      if (! strcmp (version_string, compiler_version))
+       fprintf (stderr, "gcc version %s\n", version_string);
+      else
+       fprintf (stderr, "gcc driver version %s executing gcc version %s\n",
+                version_string, compiler_version);
+
       if (n_infiles == 0)
        exit (0);
     }