[m-rev.] for review: brace expansion

[Peter Moulder]

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

E.g. --c-include-director=../{...} (note the `=' so that it's treated as
a single word for the purposes of shell brace expansion.

One difference in this implementation of brace_expand compared to bash
is that {foo} expands to "foo" here but "{foo}" in bash.

Bash provides a mechanism for quoting braces (for specifying filenames
containing braces), whereas that provided here doesn't; or if it did
then there are issues with double-quoting of things.

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