diff options
Diffstat (limited to 'api-docs/Makefile')
| -rw-r--r-- | api-docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api-docs/Makefile b/api-docs/Makefile index 91295186..9d09ef89 100644 --- a/api-docs/Makefile +++ b/api-docs/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXOPTS ?= -j 1 +SPHINXOPTS ?= -j 1 -W # 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: |