From 9858dfde325d2b355ad55fd05e1d1707d02b36e0 Mon Sep 17 00:00:00 2001 From: raiden00pl Date: Tue, 28 Nov 2023 20:46:09 +0100 Subject: [PATCH] Documentation: disable parallel build --- Documentation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/Makefile b/Documentation/Makefile index 12f83a11936..3a691eb7419 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -23,7 +23,7 @@ # You can set these variables from the command line, and also # from the environment for the first two. -SPHINXOPTS ?= -j auto -W -A nuttx_versions="latest,${NUTTX_VERSIONS}" +SPHINXOPTS ?= -j 1 -W -A nuttx_versions="latest,${NUTTX_VERSIONS}" SPHINXBUILD ?= sphinx-build SOURCEDIR = . BUILDDIR = _build