|
From: <sv...@va...> - 2007-03-08 19:56:24
|
Author: sewardj
Date: 2007-03-08 19:56:14 +0000 (Thu, 08 Mar 2007)
New Revision: 6635
Log:
Generate valid XML (conforming to docs/internals/xml-output.txt) even
when VG_(name_of_launcher) is NULL.
Modified:
trunk/coregrind/m_main.c
Modified: trunk/coregrind/m_main.c
===================================================================
--- trunk/coregrind/m_main.c 2007-03-08 01:52:37 UTC (rev 6634)
+++ trunk/coregrind/m_main.c 2007-03-08 19:56:14 UTC (rev 6635)
@@ -845,6 +845,9 @@
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>",
|