On Fri, Sep 20, 2024 at 1:53 AM Thomas Schwinge <tschwi...@baylibre.com> wrote:
>
> Hi Sam!
>
> On 2024-09-20T05:12:19+0100, Sam James <s...@gentoo.org> wrote:
> > In this case, they were all harmless in reality (no diff in test logs).
>
> > -/* { dg-do compile ) */
> > +/* { dg-do compile } */
>
> DejaGnu directives are matched by '{ dg-[...] }' (simplified; see
> '/usr/share/dejagnu/dg.exp:dg-get-options' for the details), so your
> changes did not "fix dejagnu directive syntax", but rather fix whitespace
> around DejaGnu directives. ;-P (Thanks either way!)
I think you missed that in these cases it was `)` vs `}` . yes some
fonts it is sometimes hard to tell especially it is on different lines
but they are different characters.
Thanks,
Andrew
>
>
> Grüße
> Thomas
