[m-rev.] for review: all --search-all option

[Ralph Becket]

Peter Wang, Wednesday, 20 September 2006:
> mmc --make enables --use-subdirs by default.  I also tried
> --use-grade-subdirs just now, on the example from mercury-users, and it
> seems fine.  A patched compiler is at
> /home/saturn/wangp/ws_search_all/compiler/mercury_compile if you want to
> try things out.

Is there any remaining argument against not having --use-grade-subdirs
as the default?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------