Re: Add '__OPTIMIZE__' DejaGnu selector

2021-05-23 Thread Mike Stump via Gcc-patches
On May 18, 2021, at 9:02 AM, Thomas Schwinge wrote: > Is the attached "Add '__OPTIMIZE__' DejaGnu selector" OK to push after > testing? Ok.

Add '__OPTIMIZE__' DejaGnu selector

2021-05-18 Thread Thomas Schwinge
Hi! Is the attached "Add '__OPTIMIZE__' DejaGnu selector" OK to push after testing? Grüße Thomas - Mentor Graphics (Deutschland) GmbH, Arnulfstrasse 201, 80634 München Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Frank Thü