Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision d0e8cfe465396db1841f617700bbcc5410b6175c)
+++ driver/cc1.cc	(revision d9a0e763800888addddd70d8848a8f432b825e4b)
@@ -8,6 +8,6 @@
 // Created On       : Fri Aug 26 14:23:51 2005
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Nov 12 22:58:59 2014
-// Update Count     : 5
+// Last Modified On : Sun Dec  7 22:21:33 2014
+// Update Count     : 14
 //
 // This  library is free  software; you  can redistribute  it and/or  modify it
@@ -45,4 +45,5 @@
 
 string D__GCC_BPREFIX__( "-D__GCC_BPREFIX__=" );
+string D__CFA_FLAGPREFIX__( "-D__CFA_FLAG__=" );
 
 
@@ -140,7 +141,14 @@
 		i += 1;					// and the argument
 		cpp_flag = true;
+	    } else if ( prefix( arg, D__CFA_FLAGPREFIX__ ) ) {
+		uargs[nuargs] = ( *new string( arg.substr( D__CFA_FLAGPREFIX__.size() ) ) ).c_str();
+		nuargs += 1;
+	    } else if ( arg == "-D" && prefix( argv[i + 1], D__CFA_FLAGPREFIX__.substr(2) ) ) {
+		uargs[nuargs] = ( *new string( string( argv[i + 1] ).substr( D__CFA_FLAGPREFIX__.size() - 2 ) ) ).c_str();
+		nuargs += 1;
+		i += 1;					// and the argument
 	    } else if ( prefix( arg, D__GCC_BPREFIX__ ) ) {
 		bprefix = arg.substr( D__GCC_BPREFIX__.size() );
-	    } else if ( arg == "-D" && prefix( argv[i + 1], "__GCC_BPREFIX__=" ) ) {
+	    } else if ( arg == "-D" && prefix( argv[i + 1], D__GCC_BPREFIX__.substr(2) ) ) {
 		bprefix = string( argv[i + 1] ).substr( D__GCC_BPREFIX__.size() - 2 );
 		i += 1;					// and the argument
Index: driver/cpp.cc
===================================================================
--- driver/cpp.cc	(revision d0e8cfe465396db1841f617700bbcc5410b6175c)
+++ driver/cpp.cc	(revision d9a0e763800888addddd70d8848a8f432b825e4b)
@@ -8,6 +8,6 @@
 // Created On       : Thu Aug 29 12:24:06 2002
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Sep 20 07:33:49 2002
-// Update Count     : 50
+// Last Modified On : Sat Dec  6 08:31:49 2014
+// Update Count     : 51
 //