]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
XML printing fixes for printing to file descriptors.
authorJulian Seward <jseward@acm.org>
Wed, 29 Jun 2005 23:15:56 +0000 (23:15 +0000)
committerJulian Seward <jseward@acm.org>
Wed, 29 Jun 2005 23:15:56 +0000 (23:15 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4054

coregrind/m_main.c

index ee6fde2e3c9e44928258018215f6d25f42d6b98f..f518c258f7d00d37d0bb95b92b378a9b2ae5ca7f 100644 (file)
@@ -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:",