aboutsummaryrefslogtreecommitdiff
path: root/net
diff options
context:
space:
mode:
authorEduardo Habkost <ehabkost@redhat.com>2019-10-14 12:01:33 -0300
committerPeter Maydell <peter.maydell@linaro.org>2019-10-17 12:10:13 +0100
commit6bda415c10d966c8d3ed450bc35f47f684004a0d (patch)
treee8f2f10922a629b7b9555ef0144d14dc5d6b9f92 /net
parent69b81893bc28feb678188fbcdce52eff1609bdad (diff)
sphinx: Use separate doctree directories for different builders
sphinx-build is buggy when multiple processes are using the same doctree directory in parallel. See the 3-year-old Sphinx bug report at: https://github.com/sphinx-doc/sphinx/issues/2946 Instead of avoiding parallel builds or adding some kind of locking, I'm using the simplest solution: just using a different doctree cache for each builder. Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Signed-off-by: Eduardo Habkost <ehabkost@redhat.com> Reviewed-by: John Snow <jsnow@redhat.com> Message-id: 20191014150133.14318-1-ehabkost@redhat.com Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'net')
0 files changed, 0 insertions, 0 deletions