From: Julian Seward <jseward@acm.org>
Date: Thu, 8 Mar 2007 19:56:14 +0000 (+0000)
Subject: Generate valid XML (conforming to docs/internals/xml-output.txt) even
X-Git-Tag: svn/VALGRIND_3_3_0~331
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54ccc6726ab30ebbe1a430a8dd61fdd26af58d27;p=thirdparty%2Fvalgrind.git

Generate valid XML (conforming to docs/internals/xml-output.txt) even
when VG_(name_of_launcher) is NULL.



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

diff --git a/coregrind/m_main.c b/coregrind/m_main.c
index 57a3ca0793..84fb4e39fc 100644
--- a/coregrind/m_main.c
+++ b/coregrind/m_main.c
@@ -845,6 +845,9 @@ static void print_preamble(Bool logging_to_fd, const char* toolname)
       if (VG_(name_of_launcher))
          VG_(message)(Vg_UserMsg, "    <exe>%t</exe>", 
                                   VG_(name_of_launcher));
+      else
+         VG_(message)(Vg_UserMsg, "    <exe>%t</exe>",
+                                  "(launcher name unknown)");
       for (i = 0; i < VG_(sizeXA)( VG_(args_for_valgrind) ); i++) {
          VG_(message)(Vg_UserMsg, 
                       "    <arg>%t</arg>",