On 3/18/19 9:48 AM, Gerald Pfeifer wrote:
On Mon, 18 Mar 2019, David Malcolm wrote:
Here's a patch for the website to add my changes for GCC 9 (bearing
a strong resemblance to my recent blog post)

Wow, that. is. a. lot! :-)

-<a href="porting_to.html">Porting to GCC 8</a> page and the
+<a href="porting_to.html">Porting to GCC 9</a> page and the

Good catch!

+    <p>
+      GCC's diagnostics now print a left-margin when printing source code
+      (via the default <a 
href="https://gcc.gnu.org/onlinedocs/gcc/Diagnostic-Message-Formatting-Options.html#index-fdiagnostics-show-caret";>-fdiagnostics-show-caret</a>),
+      showing line numbers.  This can be disabled via <a 
href="https://gcc.gnu.org/onlinedocs/gcc/Diagnostic-Message-Formatting-Options.html#index-fno-diagnostics-show-line-numbers";>-fno-diagnostics-show-line-numbers</a>.

Can you think of a good way to avoid "print" and "printing" so closely
together?  A most minor detail, but I think we usually want to avoid such
cases if possible?


I don't think "left-margin" should be hyphenated here either. I'd rewrite this as something like

GCC's diagnostics now print source code with a left margin showing line numbers, configurable with ....

-Sandra

Reply via email to