From: Jonathan Nieder <jrnieder@gmail.com>
Date: Mon, 06 Aug 2018 15:01:00 GMT
Subject: Re: [PATCH] add a script to diff rendered documentation
Message-ID: <20180806150100.GC97564@aiede.svl.corp.google.com>
In-Reply-To: <20180806133954.GA31282@sigill.intra.peff.net>

Jeff King wrote:

>   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 :)).