Searched refs:c_filename (Results 1 – 1 of 1) sorted by relevance
74 char* c_filename; in main() local122 c_filename = output_fname; in main()125 c_filename = malloc( strlen( C_SOURCE_FILENAME)); in main()126 strcpy( c_filename, C_SOURCE_FILENAME); in main()129 CSourceFilep = fopen( c_filename, "w"); in main()131 printf( "error : cannot create file \"%s\".\n\n", c_filename); in main()180 printf( "\"C\" source file \"%s\" is generated.\n\n", c_filename); in main()