version 1.2, 1996/06/26 05:32:42 |
version 1.3, 1998/07/10 14:09:54 |
|
|
IG_FILE4, |
IG_FILE4, |
0 |
0 |
}; |
}; |
extern char* processname; |
|
int lexsort(); |
int lexsort(); |
/* |
/* |
* Read the file ERRORNAME of the names of functions in lint |
* Read the file ERRORNAME of the names of functions in lint |
|
|
#endif |
#endif |
if ( (fyle = fopen(filename, "r")) == NULL){ |
if ( (fyle = fopen(filename, "r")) == NULL){ |
#ifdef FULLDEBUG |
#ifdef FULLDEBUG |
fprintf(stderr, "%s: Can't open file \"%s\"\n", |
warn("Can't open file \"%s\"", filename); |
processname, filename); |
|
#endif |
#endif |
return; |
return; |
} |
} |
|
|
fclose(fyle); |
fclose(fyle); |
if (freopen(filename, "r", fyle) == NULL){ |
if (freopen(filename, "r", fyle) == NULL){ |
#ifdef FULLDEBUG |
#ifdef FULLDEBUG |
fprintf(stderr, "%s: Failure to open \"%s\" for second read.\n", |
warn("Failure to open \"%s\" for second read.", filename); |
processname, filename); |
|
#endif |
#endif |
nignored = 0; |
nignored = 0; |
return; |
return; |