Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision 36de20dddab02da043205d974d1cbd6d176f5605)
+++ driver/cc1.cc	(revision e112a2422e4e6bf9a9a4884df0f64f67835cc8ff)
@@ -10,6 +10,6 @@
 // Created On       : Fri Aug 26 14:23:51 2005
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Aug 16 21:03:02 2020
-// Update Count     : 413
+// Last Modified On : Tue Nov 17 14:27:08 2020
+// Update Count     : 414
 //
 
@@ -97,5 +97,5 @@
 			} else if ( val == "-CFA" ) {
 				CFA_flag = true;
-			} else if ( val == "-save-temps" ) {
+			} else if ( val == "-save-temps" || val == "--save-temps" ) {
 				save_temps = true;
 			} else if ( prefix( val, "-o=" ) ) {		// output file for -CFA