diff options
| -rw-r--r-- | gcc/ChangeLog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1b32a58..8ce83b6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -78,8 +78,8 @@ (gen_namespace_die): Call add_pubname_string. (dwarf2out_finish): Call add_AT_pubnames; Move logic on when to produce pubnames and pubtypes sections to output_pubnames. - (common.opt): New option '-gpubnames'. - (invoke.texi): Document it. + * common.opt (-gpubnames): New option. + * doc/invoke.texi: Document it. 2012-06-21 Steven Bosscher <steven@gcc.gnu.org> |