aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/doc/options.texi
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/doc/options.texi')
-rw-r--r--gcc-4.9/gcc/doc/options.texi4
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.