[m-rev.] trivial diff: delete java mercury directories

[Julien Fischer]

On Sat, 13 Jun 2009, Peter Wang wrote:

> On 2009-06-12, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> Clean up the mercury subdirectories used by the Java backend.
>>
>> browser/Mmakefile:
>> compiler/Mmakefile:
>> deep_profiler/Mmakefile:
>> library/Mmakefile:
>> profiler/Mmakefile:
>> slice/Mmakefile:
>> ssdb/Mmakefile:
>> 	Delete any mercury directories.
>
> Do you know what caused the directories to be created?  They are only
> explicitly created by the Mmakefile in the library directory.

They are created by:

 	mmake depend GRADE=java

at the top level.

> Also, on a case-insensitive filesystem, the `mercury' directory might be
> confused with the `Mercury' directory.  If we force mmc --make when
> installing the java grade, as for the erlang grade, then `mercury' will
> always appear somewhere under `Mercury'.

That's fine by me.

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