[m-rev.] diff: fix bug in MERCURY_OPTIONS handling

[Julien Fischer]

On Mon, 28 Aug 2006, Mark Brown wrote:

> Estimated hours taken: 3
> Branches: main, release
>
> Fix a bug in the handling of unrecognised runtime flags.
>
> runtime/mercury_wrapper.c:
> 	Add the required sentinel at the end of MR_long_opts.
>
> 	Allow "det-stack-*" and "nondet-stack-*" as synonyms for
> 	"detstack-*" and "nondetstack-*" respectively.
>
> tests/hard_coded/Mmakefile:
> tests/hard_coded/runtime_opt.exp:
> tests/hard_coded/runtime_opt.inp:
> tests/hard_coded/runtime_opt.m:
> 	Test case for both recognised and unrecognised options.  The options
> 	to attempt are listed one per line in runtime_opt.inp.
>

That looks good.  Thanks Mark.

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