Fix command-line printing.

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

diff --git a/coregrind/m_main.c b/coregrind/m_main.c
index 50a50fa047356c12ccd8351c95013f60c7c9ffb8..bd3b11d5262f439410fd589283edd859f8aeed09 100644 (file)
--- a/coregrind/m_main.c
+++ b/coregrind/m_main.c
@@ -1518,6 +1518,8 @@ static void print_preamble(Bool logging_to_fd, const char* toolname)
       VG_(message)(Vg_UserMsg, 
          "My PID = %d, parent PID = %d.  Prog and args are:",
          VG_(getpid)(), VG_(getppid)() );
+      if (VG_(args_the_exename))
+         VG_(message)(Vg_UserMsg, "   %s", VG_(args_the_exename));
       for (i = 0; i < VG_(args_for_client).used; i++) 
          VG_(message)(Vg_UserMsg, "   %s", VG_(args_for_client).strs[i]);
       if (VG_(clo_log_file_qualifier)) {