Lines Matching full:infilename
528 fprintf( stderr, "\"%s\", line %d: %s\n", infilename, line, str );
