Re: Add '__OPTIMIZE__' DejaGnu selector
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
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ü