Changes in src/driver/cc1.cc [e3215c5:b3c36f4]

File:

• src/driver/cc1.cc (modified) (3 diffs)

src/driver/cc1.cc

@@ -10 +10 @@
 // Created On       : Fri Aug 26 14:23:51 2005
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat May 12 16:11:53 2018
-// Update Count     : 94
+// Last Modified On : Wed Jan 18 08:14:21 2017
+// Update Count     : 81
 //
 
@@ -32 +32 @@
 string compiler_name( CFA_BACKEND_CC );                                 // path/name of C compiler
 
-string D__GCC_X__( "-D__GCC_X__=" );
 string D__GCC_BPREFIX__( "-D__GCC_BPREFIX__=" );
 string D__CFA_FLAGPREFIX__( "-D__CFA_FLAG__=" );
@@ -163 +162 @@
                                 cargs[ncargs] = ( *new string( string( argv[i + 1] ).substr( D__CFA_FLAGPREFIX__.size() - 2 ) ) ).c_str();
                                 ncargs += 1;
-                                i += 1;                                                                 // and the argument
-                        } else if ( prefix( arg, D__GCC_X__ ) ) {
-                                args[nargs] = "-x";
-                                nargs += 1;
-                                args[nargs] = ( *new string( arg.substr( D__GCC_X__.size() ) ) ).c_str(); // pass the flag along
-                                nargs += 1;
-                        } else if ( arg == "-D" && prefix( argv[i + 1], D__GCC_X__.substr(2) ) ) {
-                                args[nargs] = "-x";
-                                nargs += 1;
-                                args[nargs] = ( *new string( string( argv[i + 1] ).substr( D__GCC_X__.size() - 2 ) ) ).c_str(); // pass the flag along
-                                nargs += 1;
                                 i += 1;                                                                 // and the argument
                         } else if ( prefix( arg, D__GCC_BPREFIX__ ) ) {