[mercury-users] mmc --make messages

[Simon Taylor]

On 25-Nov-2002, Michael Day <mikeday at yeslogic.com> wrote:
> 
> Recent versions of mmc say a lot of this:
> 
> ** Nothing to be done for `foo.m'.
> 
> which they never used to.

I'm assuming this is occurring for targets specified on the
command line which are already up to date, in which case it
is the expected behaviour.

> Is this necessary?

It was requested.

> Can it be disabled?

--no-warn-up-to-date

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------