| commit | 40960f63616f62c8ac52eeeddf68bdb441b8be3e | [log] [tgz] |
|---|---|---|
| author | Michal Gorny <mgorny@gentoo.org> | Tue Oct 04 06:09:14 2016 +0000 |
| committer | Michal Gorny <mgorny@gentoo.org> | Tue Oct 04 06:09:14 2016 +0000 |
| tree | ae039caa4e0b9e79f2356b255b322695f643c8a4 | |
| parent | eedfbe031308c3d32d3ddc8db90fe92db22b7bb2 [diff] |
[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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@283188 91177308-0d34-0410-b5e6-96231b3b80d8