Searched refs:rfilename (Results 1 – 1 of 1) sorted by relevance
199 static const char * rfilename; variable472 rfilename = rname; in eats()492 if (rfilename != NULL) in verror()494 rfilename, rlinenum); in verror()