From: Julian Seward <jseward@acm.org>
Date: Thu, 21 Oct 2004 09:38:48 +0000 (+0000)
Subject: Fix some startup messages.
X-Git-Tag: svn/VALGRIND_3_0_1^2~937
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=4033f22d06f6ea9daf9916aa33188d21e08a8a94;p=thirdparty%2Fvalgrind.git

Fix some startup messages.


git-svn-id: svn://svn.valgrind.org/vex/trunk@397
---

diff --git a/VEX/head20041019/coregrind/vg_main.c b/VEX/head20041019/coregrind/vg_main.c
index ff7577264e..a09407961f 100644
--- a/VEX/head20041019/coregrind/vg_main.c
+++ b/VEX/head20041019/coregrind/vg_main.c
@@ -1646,6 +1646,7 @@ static void pre_process_cmd_line_options
       }
    }
 
+#if 0
    /* If no tool specified, can act appropriately without loading tool */
    if (*tool == NULL) {
       if (0 == *need_help) {
@@ -1656,6 +1657,9 @@ static void pre_process_cmd_line_options
          usage(/*help-debug?*/2 == *need_help);
       }
    }
+#endif
+   /* hardwire the only currently supported tool. */
+   *tool = "none";
 }
 
 static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
@@ -1968,6 +1972,10 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
          VERSION, VG_PLATFORM);
       VG_(message)(Vg_UserMsg, 
          "Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.");
+      VG_(message)(Vg_UserMsg,
+         "EXPERIMENTAL LibVEX/IR-based system.  Using LibVEX rev 396.");
+      VG_(message)(Vg_UserMsg, 
+         "Copyright (C) 2004, and GNU GPL'd, by OpenWorks LLP.");
    }
 
    if (VG_(clo_verbosity) > 0 && VG_(clo_log_to) != VgLogTo_Fd) {