On Fri, Jan 17, 2020 at 2:00 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

On 1/17/20 9:01 AM, Daniel Pittman wrote:
> * is using (GNU) make to build with more than one job supported?

We do support 'make -j', yes. However, I don't think we support multiple
instances of 'make' running in different build directories while sharing
the same source directory just checked out from git.

Thanks. If I can identify the root cause, I'll submit a patch, or at least a detailed problem report. Appreciate your time.