Update version numbers by hand. Duh. ToDo: automatically

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

diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index ad4341bc0b16707467d2cc7aeba9de3bc51fee78..0d8df1c94eac7be66fc9626a0a9f9ce6ede0d8eb 100644 (file)
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -1996,12 +1996,12 @@ 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 >= 653");
+         /*VERSION*/ "SVN >= 671");
       VG_(message)(Vg_UserMsg, 
          "Copyright (C) 2004, and GNU GPL'd, by OpenWorks LLP.");
       VG_(message)(Vg_UserMsg,
          "Using valgrind-%s, a dynamic binary instrumentation framework.",
-         /*VERSION*/ "SVN >= 3196");
+         /*VERSION*/ "SVN >= 3207");
       VG_(message)(Vg_UserMsg, 
          "Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.");
    }