diff options
author | Georg Brandl <georg@python.org> | 2014-09-22 14:51:47 +0200 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-09-22 14:51:47 +0200 |
commit | 31452fc64d550f526d3a6c4dfbb1121873896503 (patch) | |
tree | 1b259d36d3f105e8b0971acb1f838f89110595e1 /sphinx/ext/coverage.py | |
parent | 905cbf853d5fe8fa911ec8fc81dc31134f4e5ba2 (diff) | |
download | sphinx-git-31452fc64d550f526d3a6c4dfbb1121873896503.tar.gz |
[WIP] parallel read
Diffstat (limited to 'sphinx/ext/coverage.py')
-rw-r--r-- | sphinx/ext/coverage.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/ext/coverage.py b/sphinx/ext/coverage.py index 841815e73..b62806fa4 100644 --- a/sphinx/ext/coverage.py +++ b/sphinx/ext/coverage.py @@ -265,4 +265,4 @@ def setup(app): app.add_config_value('coverage_ignore_c_items', {}, False) app.add_config_value('coverage_write_headline', True, False) app.add_config_value('coverage_skip_undoc_in_source', False, False) - return {'version': sphinx.__version__} + return {'version': sphinx.__version__, 'parallel_read_safe': True} |