Add '__OPTIMIZE__' DejaGnu selector

[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ürauf
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Add-__OPTIMIZE__-DejaGnu-selector.patch
Type: text/x-diff
Size: 2765 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210518/6d587fb1/attachment.bin>