Searched refs:output_file_orig (Results 1 – 1 of 1) sorted by relevance
350 output_file_orig = get_output_file(arguments_a) variable351 if output_file_orig is None:352 output_file_orig = derive_output_file(arguments_a) variable359 if not is_normal_compile(arguments_a) or output_file_orig is None:369 if not os.path.isfile(output_file_orig):374 shutil.copyfile(output_file_orig, temp_output_file_orig)391 os.remove(output_file_orig)404 os.remove(output_file_orig)