optc-save-gen.awk: New.
authorJoseph Myers <joseph@codesourcery.com>
Mon, 23 May 2011 19:06:48 +0000 (20:06 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Mon, 23 May 2011 19:06:48 +0000 (20:06 +0100)
commit57dfdff000ea0ba6cc47bfbe7afe7b61392ef20d
treee664a0b4ebf2a12c2776c60b4d5b100c591bfe36
parent9166988f2635469e9e7a85e0473df7b0eee689ee
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
gcc/ChangeLog
gcc/Makefile.in
gcc/doc/options.texi
gcc/optc-gen.awk
gcc/optc-save-gen.awk [new file with mode: 0644]
gcc/opth-gen.awk