From 9c4faac1d5513acab9c9fd9ee957fc68944f3035 Mon Sep 17 00:00:00 2001
From: Richard Kenner <kenner@gcc.gnu.org>
Date: Wed, 16 Nov 1994 16:40:04 -0500
Subject: [PATCH] (main): For -V output, give both driver and compiler
 versions, if they differ.

From-SVN: r8472
---
 gcc/gcc.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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