diff options
author | Manuel López-Ibáñez <manu@gcc.gnu.org> | 2008-02-07 20:40:19 +0000 |
---|---|---|
committer | Manuel López-Ibáñez <manu@gcc.gnu.org> | 2008-02-07 20:40:19 +0000 |
commit | af47e6ac4832cae20aa7487fdda2fdbc4b155189 (patch) | |
tree | 431b274212d3db4023ea46e67e8a1ca19e831673 /gcc/optc-gen.awk | |
parent | 083e941686d0aa7505832d202f96bddaf1417c2a (diff) | |
download | gcc-af47e6ac4832cae20aa7487fdda2fdbc4b155189.zip gcc-af47e6ac4832cae20aa7487fdda2fdbc4b155189.tar.gz gcc-af47e6ac4832cae20aa7487fdda2fdbc4b155189.tar.bz2 |
re PR other/32754 (The opt?-gen.awk file generators produce incorrect credits)
2008-02-07 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR other/32754
* doc/options.texi (Options): Replace references to opts.sh with
optc-gen.awk.
* opts-common.c: Likewise.
* optc-gen.awk: Likewise.
From-SVN: r132174
Diffstat (limited to 'gcc/optc-gen.awk')
-rw-r--r-- | gcc/optc-gen.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk index 17ed35d..f0bd8e5 100644 --- a/gcc/optc-gen.awk +++ b/gcc/optc-gen.awk @@ -54,7 +54,7 @@ BEGIN { # Dump that array of options into a C file. END { -print "/* This file is auto-generated by opts.sh. */" +print "/* This file is auto-generated by optc-gen.awk. */" print "" n_headers = split(header_name, headers, " ") for (i = 1; i <= n_headers; i++) |