Searched defs:infname (Results 1 – 6 of 6) sorted by relevance
19 char *infname; /* input file's name */ variable
20 char *infname; /* input file's name */ variable
47 char *infname; variable
53 char *infname; variable
122 static char *infname; variable
133 static char *infname; variable