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

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Nov 8 18:58:27 AEDT 2010

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.

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

More information about the developers mailing list