From: Cerion Armour-Brown <cerion@valgrind.org>
Date: Wed, 13 Jul 2005 14:18:24 +0000 (+0000)
Subject: xml output for tool=none is fine too.
X-Git-Tag: svn/VALGRIND_3_0_0~171
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbf125e1c8a0c531120f7909fdcb51de54fc1ac6;p=thirdparty%2Fvalgrind.git

xml output for tool=none is fine too.

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

diff --git a/coregrind/m_main.c b/coregrind/m_main.c
index 1cd8dfb3c5..d4e2e457ef 100644
--- a/coregrind/m_main.c
+++ b/coregrind/m_main.c
@@ -1791,10 +1791,11 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
 
 
    /* Check that the requested tool actually supports XML output. */
-   if (VG_(clo_xml) && 0 != VG_(strcmp)(toolname, "memcheck")) {
+   if (VG_(clo_xml) && 0 != VG_(strcmp)(toolname, "memcheck")
+                    && 0 != VG_(strcmp)(toolname, "none")) {
       VG_(clo_xml) = False;
       VG_(message)(Vg_UserMsg, 
-         "Currently only Memcheck supports XML output."); 
+         "Currently only Memcheck|None supports XML output."); 
       VG_(bad_option)("--xml=yes");
       /*NOTREACHED*/
    }