[m-rev.] an attempt to fix Mantis bug #568

[Peter Wang]

On Tue, 05 Dec 2023 12:57:34 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> This *should* fix mantis bug 568, but due to lmc's inability
> to handle mmc --make, I can't test it without installing it,
> and the install is still in progress. I am posting this because
> Peter may find it useful in fixing #569.
> 
> Zoltan.

Thanks, I've tested it and it fixes both bug #568 and #569.
The diff is fine.

BTW, to test mmc --make changes it's sufficient to set the
MERCURY_COMPILER environment variable.

Peter