aboutsummaryrefslogtreecommitdiff
path: root/gcc/doc
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2011-05-23 20:06:48 +0100
committerJoseph Myers <jsm28@gcc.gnu.org>2011-05-23 20:06:48 +0100
commit57dfdff000ea0ba6cc47bfbe7afe7b61392ef20d (patch)
treee664a0b4ebf2a12c2776c60b4d5b100c591bfe36 /gcc/doc
parent9166988f2635469e9e7a85e0473df7b0eee689ee (diff)
downloadgcc-57dfdff000ea0ba6cc47bfbe7afe7b61392ef20d.zip
gcc-57dfdff000ea0ba6cc47bfbe7afe7b61392ef20d.tar.gz
gcc-57dfdff000ea0ba6cc47bfbe7afe7b61392ef20d.tar.bz2
optc-save-gen.awk: New.
* optc-save-gen.awk: New. Based on optc-gen.awk. Don't generate parts of output shared with the driver. * optc-gen.awk: Don't generate parts of output not shared with the driver. * opth-gen.awk: Remove GCC_DRIVER conditionals. * doc/options.texi (SourcerInclude): Mention options-save.c. * Makefile.in (GCC_OBJS): Use options.o instead of gcc-options.o. (OBJS): Add options-save.o. (options-save.c, options-save.o): New. (options.o): Update dependencies. (gcc-options.o): Remove. (mostlyclean): Remove options-save.c. From-SVN: r174085
Diffstat (limited to 'gcc/doc')
-rw-r--r--gcc/doc/options.texi3
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi
index edab7a9..0a54183 100644
--- a/gcc/doc/options.texi
+++ b/gcc/doc/options.texi
@@ -71,7 +71,8 @@ name of the include file.
@item
A variable record to record any additional files that the
-@file{options.c} file should include. This is useful to provide
+@file{options.c} or @file{options-save.c} file should include. This
+is useful to provide
inline functions needed for target variables and/or @code{#ifdef}
sequences to properly set up the initialization. These records have
two fields: the string @samp{SourceInclude} and the name of the