Re: [PATCH] docs: Use make invocation's -j argument for parallelism

2019-09-19 Thread Kees Cook
On Thu, Sep 19, 2019 at 04:25:49PM -0300, Mauro Carvalho Chehab wrote: > Em Thu, 19 Sep 2019 11:18:52 -0700 > Kees Cook escreveu: > > [...] > > +# Fetch the make environment options. > > +flags = os.environ.get('MAKEFLAGS', None) > > +if flags == None: > > + print("1") > > + sys.exit(0) > > +

Re: [PATCH] docs: Use make invocation's -j argument for parallelism

2019-09-19 Thread Mauro Carvalho Chehab
Em Thu, 19 Sep 2019 11:18:52 -0700 Kees Cook escreveu: > 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

[PATCH] docs: Use make invocation's -j argument for parallelism

2019-09-19 Thread Kees Cook
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