| 171 |
|
FILE *fp; |
| 172 |
|
char *argv[MAXARG]; |
| 173 |
|
int argc; |
| 174 |
< |
char buf[256]; |
| 174 |
> |
char buf[1024]; |
| 175 |
|
int nstats=0, nunknown=0; |
| 176 |
|
int onfaces; |
| 177 |
|
VNDX ondx; |
| 287 |
|
#endif |
| 288 |
|
if (fp != stdin) |
| 289 |
|
fclose(fp); |
| 290 |
< |
sprintf(buf, "%d statements read from \"%s\"", nstats, fspec); |
| 290 |
> |
if (verbose) |
| 291 |
> |
fprintf(stderr, "Read %d statements\n", nstats); |
| 292 |
> |
if (strlen(fspec) < sizeof(buf)-32) |
| 293 |
> |
sprintf(buf, "%d statements read from \"%s\"", nstats, fspec); |
| 294 |
> |
else |
| 295 |
> |
sprintf(buf, "%d statements read from (TOO LONG TO SHOW)", nstats); |
| 296 |
|
addComment(sc, buf); |
| 297 |
|
if (nunknown) { |
| 298 |
|
sprintf(buf, "\t%d unrecognized", nunknown); |