Re: [PATCH] add a script to diff rendered documentation

From: Jonathan Nieder <jrnieder@gmail.com>
Date: Aug 6, 2018, 15:01 UTC
Message-ID: <20180806150100.GC97564@aiede.svl.corp.google.com>
In-Reply-To: <20180806133954.GA31282@sigill.intra.peff.net>

Jeff King wrote:

Show 5 quoted lines

>   3. Default to number of CPUs, which is what a lot of other threading
>      in Git does. Unfortunately getting that from the shell is
>      non-trivial. I'm OK with $(grep -c ^processor /proc/cpuinfo), but
>      people on non-Linux platforms would have to fill in their own
>      implementation.

How about $(getconf _NPROCESSORS_ONLN)? That's what Linux's scripts/coccicheck uses (apropos of a recent discussion :)).