Re: [PING] [PATCH] Harmonize headers between both dg-extract-results scripts

2023-10-19 Thread Jeff Law
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, recogn

Re: [PING] [PATCH] Harmonize headers between both dg-extract-results scripts

2023-10-18 Thread Thomas Schwinge
Hi! On 2023-09-29T08:52:24-0600, Jeff Law wrote: > On 9/29/23 02:19, Paul Iannetta wrote: >> On Tue, Sep 26, 2023 at 08:29:11AM -0600, Jeff Law wrote: >>> On 9/25/23 03:55, Paul Iannetta wrote: On Mon, Sep 18, 2023 at 08:39:34AM +0200, Paul Iannetta wrote: > On Thu, Sep 14, 2023 at 04:24

Re: [PING] [PATCH] Harmonize headers between both dg-extract-results scripts

2023-09-29 Thread Jeff Law
On 9/29/23 02:19, Paul Iannetta wrote: On Tue, Sep 26, 2023 at 08:29:11AM -0600, Jeff Law wrote: On 9/25/23 03:55, Paul Iannetta wrote: On Mon, Sep 18, 2023 at 08:39:34AM +0200, Paul Iannetta wrote: On Thu, Sep 14, 2023 at 04:24:33PM +0200, Paul Iannetta wrote: Hi, This is a small patch

Re: [PING] [PATCH] Harmonize headers between both dg-extract-results scripts

2023-09-29 Thread Paul Iannetta
On Tue, Sep 26, 2023 at 08:29:11AM -0600, Jeff Law wrote: > > > On 9/25/23 03:55, Paul Iannetta wrote: > > On Mon, Sep 18, 2023 at 08:39:34AM +0200, Paul Iannetta wrote: > > > On Thu, Sep 14, 2023 at 04:24:33PM +0200, Paul Iannetta wrote: > > > > Hi, > > > > > > > > This is a small patch so that

Re: [PING] [PATCH] Harmonize headers between both dg-extract-results scripts

2023-09-26 Thread Jeff Law
On 9/25/23 03:55, Paul Iannetta wrote: On Mon, Sep 18, 2023 at 08:39:34AM +0200, Paul Iannetta wrote: On Thu, Sep 14, 2023 at 04:24:33PM +0200, Paul Iannetta wrote: Hi, This is a small patch so that both dg-extract-results.py and dg-extract-results.sh share the same header. In particular,

[PING] [PATCH] Harmonize headers between both dg-extract-results scripts

2023-09-25 Thread Paul Iannetta
On Mon, Sep 18, 2023 at 08:39:34AM +0200, Paul Iannetta wrote: > On Thu, Sep 14, 2023 at 04:24:33PM +0200, Paul Iannetta wrote: > > Hi, > > > > This is a small patch so that both dg-extract-results.py and > > dg-extract-results.sh share the same header. In particular, it fixes > > the fact that t