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.