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 descri
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 selec