Lines Matching defs:file
35 FILE *infile = NULL;
36 char *file = "";
124 dprintf( ("argno=%d, file=|%s|\n", argno, file) );
125 if (infile == NULL) { /* have to open a new file */
126 file = getargv(argno);
127 if (*file == '\0') { /* it's been zapped */
131 if (isclvar(file)) { /* a var=value arg */
132 setclvar(file);
136 *FILENAME = file;
137 dprintf( ("opening file %s\n", file) );
138 if (*file == '-' && *(file+1) == '\0')
140 else if ((infile = fopen(file, "r")) == NULL)
141 FATAL("can't open file %s", file);
162 /* EOF arrived on this file; set up next */
171 return 0; /* true end of file */
182 int readrec(char **pbuf, int *pbufsize, FILE *inf) /* read one record into buf */
513 fprintf(stderr, " source file %s", cursource());
589 fprintf(stderr, ", file %s", *FILENAME);
597 fprintf(stderr, " source file %s", cursource());
