diff options
| author | Martin Liska <mliska@suse.cz> | 2022-11-11 13:32:01 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-11-11 13:32:01 +0100 |
| commit | 08fd14f9589b6e0e3155ba728a5e7031b9250f91 (patch) | |
| tree | 2468efaf39bd59ae9a183f7bf1a0f3ca28292c63 | |
| parent | 999c14cf249758b75e0ecf5acfab209aa5974d96 (diff) | |
| download | gcc-08fd14f9589b6e0e3155ba728a5e7031b9250f91.zip gcc-08fd14f9589b6e0e3155ba728a5e7031b9250f91.tar.gz gcc-08fd14f9589b6e0e3155ba728a5e7031b9250f91.tar.bz2 | |
sphinx: stop using parallel mode
Noticed that the documentation build can stuck on a machine with
many cores (160) and I identified a real sphinx problem:
https://github.com/sphinx-doc/sphinx/issues/10969
Note the parallel can help just for some manuals and it is not critical
for us.
ChangeLog:
* doc/Makefile: Disable -j auto.
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9e305a8..e08a43e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -2,7 +2,11 @@ # # You can set these variables from the command line. -SPHINXOPTS ?= -j auto -q + +# Disable parallel reading as it can be very slow on a machine with CPUs: +# https://github.com/sphinx-doc/sphinx/issues/10969 + +SPHINXOPTS ?= -q SPHINXBUILD ?= sphinx-build PAPER ?= SOURCEDIR = . |