diff options
Diffstat (limited to '')
| -rw-r--r-- | src/mds-kbdc/make-tree.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mds-kbdc/make-tree.c b/src/mds-kbdc/make-tree.c index 14db125..a8f20ee 100644 --- a/src/mds-kbdc/make-tree.c +++ b/src/mds-kbdc/make-tree.c @@ -864,7 +864,8 @@ static int check_whether_file_is_empty(state_t* restrict state) /* Warn about empty files. */ if (parsing_result->tree == NULL) - NEW_ERROR(0, WARNING, "file is empty"); + if (parsing_result->errors_ptr == 0) + NEW_ERROR(0, WARNING, "file is empty"); return 0; pfail: |