[Qemu-commits] [qemu/qemu] 6bda41: sphinx: Use separate doctree directories for diffe...

[Eduardo Habkost]

  Branch: refs/heads/master
  Home:   https://github.com/qemu/qemu
  Commit: 6bda415c10d966c8d3ed450bc35f47f684004a0d
      
https://github.com/qemu/qemu/commit/6bda415c10d966c8d3ed450bc35f47f684004a0d
  Author: Eduardo Habkost <address@hidden>
  Date:   2019-10-17 (Thu, 17 Oct 2019)

  Changed paths:
    M Makefile

  Log Message:
  -----------
  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 <address@hidden>
Signed-off-by: Eduardo Habkost <address@hidden>
Reviewed-by: John Snow <address@hidden>
Message-id: address@hidden
Signed-off-by: Peter Maydell <address@hidden>