[cmake] Use separate doctrees to prevent races between Sphinx instances
authorMichal Gorny <mgorny@gentoo.org>
Tue, 4 Oct 2016 06:09:14 +0000 (06:09 +0000)
committerMichal Gorny <mgorny@gentoo.org>
Tue, 4 Oct 2016 06:09:14 +0000 (06:09 +0000)
commitfd9f63bdba4572f3afc3bc2eac29e064ccf3490b
tree3c094a65c8549579b25336163512bc06cb496e03
parent4820cc988f3aae636a81a74c106cad9adeb3df0e
[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
llvm/cmake/modules/AddSphinxTarget.cmake