diff options
Diffstat (limited to 'devel/llvm37/files/patch-svn-283188')
| -rw-r--r-- | devel/llvm37/files/patch-svn-283188 | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/devel/llvm37/files/patch-svn-283188 b/devel/llvm37/files/patch-svn-283188 deleted file mode 100644 index 43f29670192b..000000000000 --- a/devel/llvm37/files/patch-svn-283188 +++ /dev/null @@ -1,26 +0,0 @@ ------------------------------------------------------------------------- -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) |