diff options
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++) |