Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision 148f836e345bb97af81bad4b63dcd8dfd9e1a3b0)
+++ driver/cc1.cc	(revision b301a82ee9e5c57cddc75e07a59a10d7996ff62e)
@@ -10,6 +10,6 @@
 // Created On       : Fri Aug 26 14:23:51 2005
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 17 18:04:23 2022
-// Update Count     : 422
+// Last Modified On : Fri Jun  9 11:36:44 2023
+// Update Count     : 423
 //
 
@@ -385,5 +385,6 @@
 				// strip inappropriate flags with an argument
 
-			} else if ( arg == "-auxbase" || arg == "-auxbase-strip" || arg == "-dumpbase" || arg == "-dumpdir" ) {
+			} else if ( arg == "-auxbase" || arg == "-auxbase-strip" ||
+						arg == "-dumpbase" || arg == "-dumpbase-ext" || arg == "-dumpdir" ) {
 				i += 1;
 				#ifdef __DEBUG_H__