diff options
| author | Alexander Taylor <alex@vector35.com> | 2024-03-28 12:37:15 -0400 |
|---|---|---|
| committer | Alexander Taylor <alex@vector35.com> | 2024-03-28 12:37:15 -0400 |
| commit | acc790bd4a44d84ab4daca0745bf00c6e19f3c0f (patch) | |
| tree | b7439939e8a398d4fc57827692f6c69d27455a3f /api-docs | |
| parent | 661f5c4cfb60f36a57b5d05ec7883af821abd046 (diff) | |
Workaround for build failures on aarch64 linux.
Diffstat (limited to 'api-docs')
| -rw-r--r-- | api-docs/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/api-docs/Makefile b/api-docs/Makefile index b9522724..91295186 100644 --- a/api-docs/Makefile +++ b/api-docs/Makefile @@ -2,7 +2,11 @@ # # You can set these variables from the command line. -SPHINXOPTS ?= -j auto +SPHINXOPTS ?= -j 1 +# XXX: Line above is a workaround for parallel builds failing on ARM hosts +# See this issue for more details: https://github.com/sphinx-doc/sphinx/issues/11449 +# When that issue is resolved, put the following line back: +#SPHINXOPTS ?= -j auto SPHINXBUILD ?= sphinx-build DOC2DASH ?= doc2dash PAPER = |