diff options
| author | Michal Gorny <mgorny@gentoo.org> | 2016-10-04 06:09:14 +0000 |
|---|---|---|
| committer | Michal Gorny <mgorny@gentoo.org> | 2016-10-04 06:09:14 +0000 |
| commit | fd9f63bdba4572f3afc3bc2eac29e064ccf3490b (patch) | |
| tree | 3c094a65c8549579b25336163512bc06cb496e03 | |
| parent | 4820cc988f3aae636a81a74c106cad9adeb3df0e (diff) | |
| download | bcm5719-llvm-fd9f63bdba4572f3afc3bc2eac29e064ccf3490b.tar.gz bcm5719-llvm-fd9f63bdba4572f3afc3bc2eac29e064ccf3490b.zip | |
[cmake] Use separate doctrees to prevent races between Sphinx instances
Use separate doctrees between different Sphinx builders in order to
prevent race condition issues due to multiple Sphinx instances accessing
the same doctree cache in parallel.
Bug: https://llvm.org/bugs/show_bug.cgi?id=23781
Differential Revision: https://reviews.llvm.org/D23755
llvm-svn: 283188
| -rw-r--r-- | llvm/cmake/modules/AddSphinxTarget.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/cmake/modules/AddSphinxTarget.cmake b/llvm/cmake/modules/AddSphinxTarget.cmake index a968555aa06..ca9f4c38ffd 100644 --- a/llvm/cmake/modules/AddSphinxTarget.cmake +++ b/llvm/cmake/modules/AddSphinxTarget.cmake @@ -6,7 +6,7 @@ # ``project`` should be the project name function (add_sphinx_target builder project) set(SPHINX_BUILD_DIR "${CMAKE_CURRENT_BINARY_DIR}/${builder}") - set(SPHINX_DOC_TREE_DIR "${CMAKE_CURRENT_BINARY_DIR}/_doctrees") + set(SPHINX_DOC_TREE_DIR "${CMAKE_CURRENT_BINARY_DIR}/_doctrees-${builder}") set(SPHINX_TARGET_NAME docs-${project}-${builder}) if (SPHINX_WARNINGS_AS_ERRORS) |
