diff options
author | Kees Cook <keescook@chromium.org> | 2019-09-24 16:29:58 -0700 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2019-10-01 06:24:27 -0600 |
commit | 29efbb24d992564db4bbb808597719934ed9ac9f (patch) | |
tree | f0e5cea4c2345d762d7da07c105e57f192fd4639 /.mailmap | |
parent | 54ecb8f7028c5eb3d740bb82b0f1d90f2df63c5c (diff) |
docs: Use make invocation's -j argument for parallelism
While sphinx 1.7 and later supports "-jauto" for parallelism, this
effectively ignores the "-j" flag used in the "make" invocation, which
may cause confusion for build systems. Instead, extract the available
parallelism from "make"'s job server (since it is not exposed in any
special variables) and use that for the "sphinx-build" run. Now things
work correctly for builds where -j is specified at the top-level:
make -j16 htmldocs
If -j is not specified, continue to fallback to "-jauto" if available.
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions