On 10/18/23 03:35, Thomas Schwinge wrote:
Is this (case variants) maybe something that has changed in DejaGnu at
some point in time? (I have not checked.)
No idea :-)
I suggest that we adapt all remaining upper-case instances in GCC,
similar to your change. And/or, as applicable, recognize both variants
(or ignore case distinctions generally)?
Yea, we should try to get this commonized. Probably wise to recognize
both variants as well -- especially if there are instances of these
strings which aren't under GCC's contorl.
Given Paul's (and colleagues'?) ongoing work on GCC (Kalray KVX back end,
complex numbers support), is it maybe now time to enable Git write access
for him (them?)?
<https://gcc.gnu.org/gitwrite.html>, "write after approval".
Sure. I'd sponsor them.
jeff
