On 11/26/20 9:32 AM, Jonathan Wakely via Gcc-patches wrote:
> The optional target selector for the dg-require-effective-target
> directive needs to be { target selector } not just { selector } as
> currently documented.
>
> gcc/ChangeLog:
>
> * doc/sourcebuild.texi (Directives): Fix description of
> dg-require-effective-target to include "target" in selector.
>
> This seems correct according to my testing with the libstdc++
> testsuite, and all existing uses in the gcc/testsuite.
>
> The other directives that require { target selector } say so
> explicitly, e.g. dg-options, dg-additional-options, dg-timeout ...
>
> OK for trunk?
OK
jeff
