Lines Matching defs:filename
43 int do_file(const char *filename);
117 string filename;
126 filename += '\\';
129 filename += ' ';
137 filename += char(*q);
138 if (success && filename.length() > 0) {
139 filename += '\0';
143 if (do_file(filename.contents())) {
155 int do_file(const char *filename)
158 FILE *fp = include_search_path.open_file_cautious(filename,
161 string whole_filename(file_name_in_path ? file_name_in_path : filename);