Searched defs:old_filename (Results 1 – 4 of 4) sorted by relevance
706 const char *old_filename = dump_files[i].pfilename; in dump_enable_all() local727 const char *old_filename = m_extra_dump_files[i].pfilename; in dump_enable_all() local763 const char *old_filename = dump_files[i].alt_filename; in opt_info_enable_passes() local781 const char *old_filename = m_extra_dump_files[i].alt_filename; in opt_info_enable_passes() local
1060 const char *old_filename; in handle_include() local
84 static char old_filename[PATH_MAX] = ""; /* default filename */ variable
877 const char *old_filename; in handle_include() local