Searched refs:fsi_filename (Results 1 – 1 of 1) sorted by relevance
119 static char *fsi_filename; variable246 fprintf(stderr, "%s:%d: ", fsi_filename ? fsi_filename : "/dev/stdin", ayylineno);260 ip->i_file = fsi_filename;