diff options
Diffstat (limited to 'scripts/basic/docproc.c')
-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 2c7a19b83..c488cd53e 100644 --- a/scripts/basic/docproc.c +++ b/scripts/basic/docproc.c | |||
@@ -195,6 +195,7 @@ void find_export_symbols(char * filename) | |||
195 | { | 195 | { |
196 | fprintf(stderr, "docproc: "); | 196 | fprintf(stderr, "docproc: "); |
197 | perror(real_filename); | 197 | perror(real_filename); |
198 | exit(1); | ||
198 | } | 199 | } |
199 | while (fgets(line, MAXLINESZ, fp)) { | 200 | while (fgets(line, MAXLINESZ, fp)) { |
200 | unsigned char *p; | 201 | unsigned char *p; |