Thanks, Jakub! I just realized that I failed to commit some small
changes I had meant to suggest to this patch. Applied now, with a
bit of delay.
Gerald
Index: changes.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-4.7/changes.html,v
retrieving revision 1.31
diff -u -r1.31 changes.html
--- changes.html 25 Sep 2011 21:34:25 -0000 1.31
+++ changes.html 25 Sep 2011 22:35:34 -0000
@@ -351,15 +351,15 @@
<ul>
<li>
- A new option (<code>-grecord-gcc-switches</code>) was added to request
- appending of compiler command line options that might affect code
+ A new option (<code>-grecord-gcc-switches</code>) was added that
+ appends compiler command-line options that might affect code
generation to the <code>DW_AT_producer</code> attribute string in the
DWARF debugging information.
</li>
<li>
- GCC now supports various new DWARF debugging information format
- GNU extensions, like
+ GCC now supports various new GNU extensions to the DWARF debugging
+ information format, like
<a
href="http://www.dwarfstd.org/ShowIssue.php?issue=100909.1";>entry
value</a> and <a
@@ -369,8 +369,8 @@
or <a
href="http://www.dwarfstd.org/ShowIssue.php?issue=110722.1";>a
more compact macro representation</a>. Support for these extensions
- will come in GDB 7.4, they can be disabled through
- <code>-gstrict-dwarf</code> command line option.
+ will come in GDB 7.4. They can be disabled through the
+ <code>-gstrict-dwarf</code> command-line option.
</li>
</ul>
