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)
                 {
                         fprintf(stderr, "docproc: ");
                         perror(real_filename);
+                        exit(1);
                 }
                 while (fgets(line, MAXLINESZ, fp)) {
                         unsigned char *p;