diff options
Diffstat (limited to 'gcc-4.9/gcc/doc/options.texi')
-rw-r--r-- | gcc-4.9/gcc/doc/options.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/doc/options.texi b/gcc-4.9/gcc/doc/options.texi index 938017ade..3b63aa232 100644 --- a/gcc-4.9/gcc/doc/options.texi +++ b/gcc-4.9/gcc/doc/options.texi @@ -479,6 +479,10 @@ record. @xref{Option file format}. The option is omitted from the producer string written by @option{-grecord-gcc-switches}. +@item NoDWARFRecord +The option is omitted from the producer string written by +@option{-grecord-gcc-switches}. + @item PchIgnore Even if this is a target option, this option will not be recorded / compared to determine if a precompiled header file matches. |