Searched refs:externs_file_name (Results 1 – 3 of 3) sorted by relevance
60 char *externs_file_name; variable160 DO_FREE(externs_file_name); in done()641 CREATE_FILE_NAME(externs_file_name, externs_suffix); in create_file_names()849 externs_file = fopen(externs_file_name, "w"); in open_files()851 open_error(externs_file_name); in open_files()
339 extern char *externs_file_name;
2080 fprintf(code_file, "#include \"%s\"\n", externs_file_name); in output()