[m-rev.] for review: fix problems with mmc --make

[Ralph Becket]

Jonathan Morgan, Saturday,  3 December 2005:
> Why would you want to get rid of mmake?

- mmc --make is more precise (i.e., will sometimes do less work thank
  mmake)
- mmake relies upon a complicated stack of gnumakefiles which are hard
  to understand and harder to debug
- I my experience mmc --make almost always gets it right whereas mmake
  occasionally breaks in strange and frustrating ways.

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------