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

[Peter Wang]

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.

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

Peter

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