diff options
| author | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-02-07 20:40:19 +0000 |
|---|---|---|
| committer | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-02-07 20:40:19 +0000 |
| commit | 30b0f428d17e454063ae4b873ad0cbf279a26602 (patch) | |
| tree | 431b274212d3db4023ea46e67e8a1ca19e831673 /gcc/optc-gen.awk | |
| parent | 1d19d3fa5fffece50eab930c259dd33022686a1e (diff) | |
| download | gcc-30b0f428d17e454063ae4b873ad0cbf279a26602.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132174 138bc75d-0d04-0410-961f-82ee72b054a4
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 17ed35d5a7d..f0bd8e5946c 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++) |