Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision 8cbb6aae0d19200acf355f58598101738d6549e2)
+++ driver/cc1.cc	(revision 8a930c03c26002b7a29b86b09dc3c932a9d61a85)
@@ -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__