diff options
| author | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-03-09 11:11:04 -0500 |
|---|---|---|
| committer | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-03-09 11:11:04 -0500 |
| commit | 8c60fed743a348ec22c2a2429d45db1c39d545d5 (patch) | |
| tree | 1641e82241b43e89cf598600a22374ebf391a398 | |
| parent | e7cc2122de7d8107a2bf26929e17776d4be21b70 (diff) | |
doc: disable parallel build
Sphinx is not designed to be run in parallel and exhibits filesystem race
conditions if it is. Disable parallel build.
Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
| -rw-r--r-- | doc/Makefile.am | 4 | ||||
| -rw-r--r-- | doc/frr-sphinx.mk | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index caa909d50d..aeabc0981d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -9,6 +9,10 @@ # Note the absence of the 'developer' directory here; development docs are # never built as part of a regular build. They are only built when explicitly # asked for. See comment further down. + +# Sphinx is not designed to be invoked multiple times against the same toctree. +.NOTPARALLEL: + SUBDIRS = manpages user AM_MAKEFLAGS = DESTDIR=${DESTDIR} infodir=${infodir} doczdir=${abs_srcdir} diff --git a/doc/frr-sphinx.mk b/doc/frr-sphinx.mk index f5aca7a655..3d91e8f63d 100644 --- a/doc/frr-sphinx.mk +++ b/doc/frr-sphinx.mk @@ -1,6 +1,9 @@ # Makefile for Sphinx documentation # +# Sphinx is not designed to be invoked multiple times against the same toctree. +.NOTPARALLEL: + # You can set these variables from the command line. SPHINXOPTS ?= SPHINXBUILD ?= sphinx-build |