[m-rev.] for review: use `-t-' rather than `-t' in tools/*

[Simon Taylor]

On 11-Dec-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.5
> Branches: main
> 
> tools/bootcheck:
> tools/binary:
> tools/binary_step:
> tools/linear:
> tools/makebatch:
> tools/test_mercury:
> 	Change the options for these tools so that the short form of
> 	negative options, such as `--no-test-suite', is `-t-' rather
> 	than `-t', for consistency with the option handling convention
> 	used by other Mercury programs such as `mmc' and `ml'.
> 
> 	I made this change because I found it very confusing
> 	that `-t' *disabled* the tests in the `tests' directory,
> 	whereas `-e' *enabled* the tests in the `extras' directory.
> 	With this change, all options that disable things
> 	are now of the form `-<letter>-' or `--no-<long-name>'.

That looks fine.

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