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 1cd8dfb3c552dac21043d9d3e86474897e63bad7..d4e2e457ef3f042d695e6f8732f24755d83efd3e 100644 (file)
--- 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*/
    }