diff options
Diffstat (limited to 'devel/llvm38')
| -rw-r--r-- | devel/llvm38/files/patch-svn-283188 | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/devel/llvm38/files/patch-svn-283188 b/devel/llvm38/files/patch-svn-283188 new file mode 100644 index 000000000000..43f29670192b --- /dev/null +++ b/devel/llvm38/files/patch-svn-283188 @@ -0,0 +1,26 @@ +------------------------------------------------------------------------ +r283188 | mgorny | 2016-10-04 06:09:14 +0000 (Tue, 04 Oct 2016) | 9 lines + +[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 +------------------------------------------------------------------------ +Index: cmake/modules/AddSphinxTarget.cmake +=================================================================== +--- cmake/modules/AddSphinxTarget.cmake (revision 283187) ++++ cmake/modules/AddSphinxTarget.cmake (revision 283188) +@@ -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) |