[m-rev.] for review: invisible mgnuc options

[Ralph Becket]

Zoltan Somogyi, Friday, 20 May 2005:
> On 20-May-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > What's the advantage in making this opts file "invisible".  Our other
> > configuration files start with `Mercury.'.  I think it would be better
> > to use `Mercury.mgnuc_c_opts' rather than `.mgnuc_copts'.
> 
> .cshrc, .gdbinit, etc all start with dots.

I can just see myself (or someone else) forgetting about .mgnuc_copts
and wasting time trying to find out where mgnuc is getting these extra
options from when debugging a build script.  A file called
Mercury.mgnuc_c_opts, on the other hand, would be as plain as day, but
would not seriously pollute the directory listing.

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------