On Mon, 14 Oct 2019 at 16:01, Eduardo Habkost <ehabk...@redhat.com> wrote: > > 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.mayd...@linaro.org> > Signed-off-by: Eduardo Habkost <ehabk...@redhat.com> > --- > Makefile | 5 ++++- > 1 file changed, 4 insertions(+), 1 deletion(-)
Applied to master as a buildfix, thanks. -- PMM
