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 57a3ca0793398e7b3a6bc180af56a0726f212b3d..84fb4e39fca949bc8820deaec938e8fdd1cd06db 100644 (file)
--- 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>",