[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] sphinx: Use separate doctree directories for different build
From: |
Peter Maydell |
Subject: |
Re: [PATCH] sphinx: Use separate doctree directories for different builders |
Date: |
Thu, 17 Oct 2019 15:30:22 +0100 |
On Mon, 14 Oct 2019 at 16:01, Eduardo Habkost <address@hidden> 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 <address@hidden>
> Signed-off-by: Eduardo Habkost <address@hidden>
> ---
> Makefile | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
Applied to master as a buildfix, thanks.
-- PMM