diff options
| -rw-r--r-- | scripts/basic/docproc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/basic/docproc.c b/scripts/basic/docproc.c index 4464e18..8828901 100644 --- a/scripts/basic/docproc.c +++ b/scripts/basic/docproc.c @@ -180,6 +180,7 @@ void find_export_symbols(char * filename) { fprintf(stderr, "docproc: "); perror(real_filename); + exit(1); } while (fgets(line, MAXLINESZ, fp)) { unsigned char *p; |