Re: [PATCH] Ignore case of header line in dg-extract-results.py

2023-10-25 Thread Jeff Law
On 10/25/23 22:09, Alexandre Oliva wrote: On Oct 24, 2023, Paul Iannetta wrote: * dg-extract-results.py: Make the test_run regex case insensitive. It looks reasonable to me, but I'm not sure this is a change I'm entitled to approve. Thanks! Even so, I trust your judgme

Re: [PATCH] Ignore case of header line in dg-extract-results.py

2023-10-25 Thread Alexandre Oliva
On Oct 24, 2023, Paul Iannetta wrote: > * dg-extract-results.py: Make the test_run regex case > insensitive. It looks reasonable to me, but I'm not sure this is a change I'm entitled to approve. Thanks! -- Alexandre Oliva, happy hackerhttps://FSFLA.org/blogs/lxo/

[PATCH] Ignore case of header line in dg-extract-results.py

2023-10-24 Thread Paul Iannetta
On Thu, Oct 19, 2023 at 10:48:17AM -0600, Jeff Law wrote: > 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 :-) > Yes, it changed around 2016. > > I suggest that we ad