[m-rev.] Re: for review: handle_given_options should not set exit status

[Peter Ross]

On 17 July 2012 06:11, Peter Wang <novalazy at gmail.com> wrote:
> I will commit this later today.  It would be worth backporting to 11.07
> for the next release.
>
Backported and updated NEWS file with

Fix problem with incorrect exit status being set when using
--warn-non-tail-recursion.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------