[m-rev.] for review: brace expansion

[Zoltan Somogyi]

On 07-May-2003, Peter Moulder <pmoulder at mail.csse.monash.edu.au> wrote:
> I'm uncomfortable with this change to the command-line interface.
> I think the right thing is to allow the shell to do the brace
> expansion (or `make' if brace expansion isn't in Single Unix Spec).

I am backing out the part of the change that affects option handling.
I am leaving in the new function in dir.m, since I know that it can be useful.

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