docs: fix check_docs not working for multiple builders

When building docs with multiple builders the warning logs are now checked after
each run. Solves the issue where the logs would be overwritten by next builder before checking.

Closes IDF-1659
This commit is contained in:
Marius Vikhammer
2020-05-29 20:10:18 +08:00
committed by Krzysztof Budzynski
parent e783f148f0
commit 67ea59d605
11 changed files with 70 additions and 68 deletions

View File

@@ -125,7 +125,7 @@ print('Version: {0} Release: {1}'.format(version, release))
# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
exclude_patterns = ['**/inc/**', '_static', '**/_build']
exclude_patterns = ['**/inc/**', '_static/', '_build/**']
BT_DOCS = ['api-guides/blufi.rst',