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!)
Grüße
Thomas
