[m-dev.] [PATCH] MMAKE_USE_MMC_MAKE=yes fails with GNU make 3.82

[Julien Fischer]

Hi Keri,

On Sat, 6 Nov 2010, Keri Harris wrote:

> I've hit the following error when compiling Mercury when
> MMAKE_USE_MMC_MAKE=yes is defined:

...

> Patch attached.
>

Thanks for that!  I've committed the patch on the trunk and it should
make its way on the 10.04 branch in the next couple of days.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------