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

differ.

From-SVN: r8472

1 files changed, 6 insertions, 1 deletions

diff --git a/gcc/gcc.c b/gcc/gcc.c
index 8de0b09..4f9e2c0 100644
--- 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);
     }