Searched refs:output_file_orig (Results 1 – 1 of 1) sorted by relevance
347 output_file_orig = get_output_file(arguments_a) variable348 if output_file_orig is None:349 output_file_orig = derive_output_file(arguments_a) variable356 if not is_normal_compile(arguments_a) or output_file_orig is None:366 if not os.path.isfile(output_file_orig):371 shutil.copyfile(output_file_orig, temp_output_file_orig)388 os.remove(output_file_orig)401 os.remove(output_file_orig)