From: Julian Seward <jseward@acm.org>
Date: Wed, 29 Jun 2005 23:15:56 +0000 (+0000)
Subject: XML printing fixes for printing to file descriptors.
X-Git-Tag: svn/VALGRIND_3_0_0~264
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d84d0a72fff088c9ccdd9d2a7b8179903b41a928;p=thirdparty%2Fvalgrind.git

XML printing fixes for printing to file descriptors.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4054
---

diff --git a/coregrind/m_main.c b/coregrind/m_main.c
index ee6fde2e3c..f518c258f7 100644
--- a/coregrind/m_main.c
+++ b/coregrind/m_main.c
@@ -1855,7 +1855,7 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
          VG_(message)(Vg_UserMsg, "</preamble>");
    }
 
-   if (VG_(clo_verbosity) > 0 && log_to != VgLogTo_Fd) {
+   if (!VG_(clo_xml) && VG_(clo_verbosity) > 0 && log_to != VgLogTo_Fd) {
       VG_(message)(Vg_UserMsg, "");
       VG_(message)(Vg_UserMsg, 
          "My PID = %d, parent PID = %d.  Prog and args are:",