diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2020-11-30 12:28:25 +0000 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2020-11-30 12:29:01 +0000 |
| commit | d795a8ef4e02a96ab060b330d38ef923a198c7ce (patch) | |
| tree | 776eea468e3c296dd5675068fe760fbaf683facb /contrib/gcc-changelog/git_commit.py | |
| parent | 4bcded23eb87c55a1a3fcd23d5629a0c35aee4ba (diff) | |
| download | gcc-d795a8ef4e02a96ab060b330d38ef923a198c7ce.zip gcc-d795a8ef4e02a96ab060b330d38ef923a198c7ce.tar.gz gcc-d795a8ef4e02a96ab060b330d38ef923a198c7ce.tar.bz2 | |
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.
Diffstat (limited to 'contrib/gcc-changelog/git_commit.py')
0 files changed, 0 insertions, 0 deletions