[m-rev.] for review: support parallel bootcheck using --use-mmc-make

[Peter Wang]

On Tue, 9 Jul 2019 02:53:31 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> For review by anyone.
> 
> There are still a number of issues with parallel bootechecks using
> --use-mmc-make, but this diff resolves the main problem.
> 
> Note that the mmc --make does not currently support parallel jobs
> in the non-C grades so stage 3 in those grades will not build in
> parallel.
> 
> ----------------------------
> 
> Support parallel bootchecks using --use-mmc-make.
> 
> Parallel bootchecks using --use-mmc-make do not currently work because mmake
> creates multiple instances of mmc --make per directory and these conflict with
> each other.  Modify the bootcheck script so that when --use-mmc-make is
> enabled, we do not build affected directories with mmake's -j option but
> instead pass the -j option directly to Mercury compiler.

Maybe -j should be recognised as an mmake option, which then
passes -j either to make or mmc --make as appropriate
(assuming there is some variable we can pass it through).

Peter