Use new function LibVEX_Version.

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

diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index 0d8df1c94eac7be66fc9626a0a9f9ce6ede0d8eb..a427edc093b4fecc27e88406a617e6da59970bd6 100644 (file)
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -1995,8 +1995,8 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
 
       /* Core details */
       VG_(message)(Vg_UserMsg,
-         "Using LibVEX-%s, a library for dynamic binary translation.",
-         /*VERSION*/ "SVN >= 671");
+         "Using LibVEX rev %s, a library for dynamic binary translation.",
+         LibVEX_Version() );
       VG_(message)(Vg_UserMsg, 
          "Copyright (C) 2004, and GNU GPL'd, by OpenWorks LLP.");
       VG_(message)(Vg_UserMsg,