Re: [PATCH][testsuite] Fix TORTURE_OPTIONS overriding

[Mike Stump]

On Jun 18, 2015, at 3:10 AM, Richard Biener <rguent...@suse.de> wrote:
> Ok for trunk?

Ok.