[m-rev.] for review: don't remove grade files after installing

[Julien Fischer]

On Mon, 4 Dec 2006, Peter Wang wrote:

> Estimated hours taken: 0.5
> Branches: main
>
> compiler/make.program_target.m:
> 	Don't remove grade-dependent files after installing a library with
> 	`mmc --make' if `--use-grade-subdirs' is used.

That looks fine.

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