[mercury-users] Module named override.m

[Ondrej Bojar]

Hi.

This not a problem, but I guess, there is a tiny hole in mmake and you
should know about it.

u-pl9:dagorunify$mmake override.depend
/tmp/mmake.YfKwpz:13804: invalid `override' directive
mmc --generate-dependencies --debug         override
u-pl9:dagorunify$

Thanks, Andrew.

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