doc: Fix description of dg-require-effective-target
authorJonathan Wakely <jwakely@redhat.com>
Mon, 30 Nov 2020 12:28:25 +0000 (12:28 +0000)
committerJonathan Wakely <jwakely@redhat.com>
Mon, 30 Nov 2020 12:29:01 +0000 (12:29 +0000)
commitd795a8ef4e02a96ab060b330d38ef923a198c7ce
tree776eea468e3c296dd5675068fe760fbaf683facb
parent4bcded23eb87c55a1a3fcd23d5629a0c35aee4ba
doc: Fix description of dg-require-effective-target

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.
gcc/doc/sourcebuild.texi