[m-dev.] errors from mmc script when compiling srcdist

[Peter Wang]

On Wed, 18 Oct 2023 14:46:29 +1100 Julien Fischer <jfischer at opturion.com> wrote:
> 
> Hi,
> 
> Building the source distribution for rotd-2023-10-16 onwards results in
> a lot of messages from the mmc script about mercury_compile not being
> found (which it wouldn't be as it doesn't exist when compiling the
> source distribution).
> 
> I suspect some of the recent changes to mmake may have inadvertently
> broken something.
> 

Reverting commit 7d001786 fixes the issue. I'll have a look.

Peter