]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
If --log-file-qualifier= is set, and we're logging to a file or
authorJulian Seward <jseward@acm.org>
Tue, 26 Jul 2005 23:43:26 +0000 (23:43 +0000)
committerJulian Seward <jseward@acm.org>
Tue, 26 Jul 2005 23:43:26 +0000 (23:43 +0000)
socket, emit the qualifier and its current value in the plain text
output as well as in the XML.  (Ashley Pittman).

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

coregrind/m_main.c

index 30a10f32d5b98351af6491e4ac784129cf128885..b417e9cd73e3c6d4e16ecbd5d44904e05e862428 100644 (file)
@@ -1905,6 +1905,13 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
          VG_(getpid)(), VG_(getppid)() );
       for (i = 0; i < VG_(client_argc); i++) 
          VG_(message)(Vg_UserMsg, "   %s", VG_(client_argv)[i]);
+      if (VG_(clo_log_file_qualifier)) {
+         HChar* val = VG_(getenv)(VG_(clo_log_file_qualifier));
+         VG_(message)(Vg_UserMsg, "");
+         VG_(message)(Vg_UserMsg, "Log file qualifier: var %s, value %s.",
+                                  VG_(clo_log_file_qualifier),
+                                  val ? val : "");
+      }
    }
    else
    if (VG_(clo_xml)) {