1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/gcc.c b/gcc/gcc.c
index 0ed7da94f17a..826b012cd773 100644
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -3778,6 +3778,10 @@ driver_handle_option (struct gcc_options *opts,
       printf ("%s\n", spec_machine);
       exit (0);
 
+    case OPT_dumpfullversion:
+      printf ("%s\n", BASEVER);
+      exit (0);
+
     case OPT__version:
       print_version = 1;