Re: Add '__OPTIMIZE__' DejaGnu selector

[Mike Stump via Gcc-patches]

On May 18, 2021, at 9:02 AM, Thomas Schwinge <tho...@codesourcery.com> wrote:
> Is the attached "Add '__OPTIMIZE__' DejaGnu selector" OK to push after
> testing?

Ok.