From: Bob Duff Date: Mon, 20 Apr 2009 12:29:12 +0000 (+0200) Subject: output.adb (Flush_Buffer): Do not indent blank lines. X-Git-Tag: releases/gcc-4.5.0~6364 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1414183dedbfa408e8c247e77779b189c3a819bc;p=thirdparty%2Fgcc.git output.adb (Flush_Buffer): Do not indent blank lines. 2009-04-20 Bob Duff * output.adb (Flush_Buffer): Do not indent blank lines. (Ignore_Output): New procedure for output suppression. From-SVN: r146402 --- diff --git a/gcc/ada/output.adb b/gcc/ada/output.adb index 745d47fab388..141c12fb294e 100644 --- a/gcc/ada/output.adb +++ b/gcc/ada/output.adb @@ -112,14 +112,17 @@ package body Output is Len : constant Natural := Next_Col - 1; + -- Start of processing for Flush_Buffer + begin if Len /= 0 then begin -- If there's no indentation, or if the line is too long with - -- indentation, just write the buffer. + -- indentation, or if it's a blank line, just write the buffer. if Cur_Indentation = 0 or else Cur_Indentation + Len > Buffer_Max + or else Buffer (1 .. Len) = (1 => ASCII.LF) then Write_Buffer (Buffer (1 .. Len)); @@ -156,6 +159,15 @@ package body Output is end if; end Flush_Buffer; + ------------------- + -- Ignore_Output -- + ------------------- + + procedure Ignore_Output (S : String) is + begin + null; + end Ignore_Output; + ------------ -- Indent -- ------------ diff --git a/gcc/ada/output.ads b/gcc/ada/output.ads index 8e8eb6b0eba0..6e9176e8802b 100644 --- a/gcc/ada/output.ads +++ b/gcc/ada/output.ads @@ -66,6 +66,10 @@ package Output is -- It is never an error to call Cancel_Special_Output. It has the same -- effect as calling Set_Special_Output (null). + procedure Ignore_Output (S : String); + -- Does nothing. To disable output, pass Ignore_Output'Access to + -- Set_Special_Output. + procedure Set_Standard_Error; -- Sets subsequent output to appear on the standard error file (whatever -- that might mean for the host operating system, if anything) when