Searched refs:current_file (Results 1 – 1 of 1) sorted by relevance
56 static const char * current_file = "<unknown file>"; variable70 fprintf( stderr, "%s: %d: %s\n", current_file, lineno, msg ); in syntax_error()775 old_file = current_file; in do_source()777 current_file = filename; in do_source()811 current_file = old_file; in do_source()