Fix typo that meant --signal-polltime was not being accepted.

MERGE TO STABLE

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

diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index 69fa47a36104f6ca2a2ecc08c678f00d9744ad59..f2afc12f97421966a8c3ba58ecf44664f208ac45 100644 (file)
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -1763,7 +1763,7 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
       else VG_NUM_CLO ("--dump-error",        VG_(clo_dump_error))
       else VG_NUM_CLO ("--input-fd",          VG_(clo_input_fd))
       else VG_NUM_CLO ("--sanity-level",      VG_(clo_sanity_level))
-      else VG_NUM_CLO ("--signal­polltime",   VG_(clo_signal_polltime))
+      else VG_NUM_CLO ("--signal-polltime",   VG_(clo_signal_polltime))
       else VG_BNUM_CLO("--num-callers",       VG_(clo_backtrace_size), 1,
                                                 VG_DEEPEST_BACKTRACE)