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