diff options
author | François-Xavier Carton <fx.carton91@gmail.com> | 2022-01-15 03:20:22 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-01-15 07:00:17 +0100 |
commit | 5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62 (patch) | |
tree | a2c09af0952c6b0439c19b70e64a8abacc3f240a /dev-ruby/ruby-oembed | |
parent | dev-util/bcc: Set myself as primary maintainer (diff) | |
download | gentoo-5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62.tar.gz gentoo-5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62.tar.bz2 gentoo-5377b0ede6969e3ce4b0c0b2b019b3835f5a7c62.zip |
sci-mathematics/why3: fix race condition in parallel make doc
"make doc" uses sphinx to build both latex and html documentation. Both
sphinx rules in the makefile include "-d doc/.doctrees", ie. the same
path for "the cached environment and doctree files". In a parallel make
build, the rules are called simulateously, which means the cached files
could be read by one process while they are still being written by the
other.
Closes: https://bugs.gentoo.org/831168
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/23802
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ruby/ruby-oembed')
0 files changed, 0 insertions, 0 deletions