diff options
Diffstat (limited to 'gcc/doc/options.texi')
| -rw-r--r-- | gcc/doc/options.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi index ef720307eee..9c004c8cd3f 100644 --- a/gcc/doc/options.texi +++ b/gcc/doc/options.texi @@ -468,4 +468,8 @@ of @option{-@var{opt}}, if not explicitly set. It is possible to specify several different languages. Each @var{language} must have been declared by an earlier @code{Language} record. @xref{Option file format}. + +@item NoDWARFRecord +The option is omitted from the producer string written by +@option{-grecord-gcc-switches}. @end table |