|
From: Nicholas N. <nj...@ca...> - 2004-10-29 11:21:29
|
CVS commit by nethercote:
Fix typo that meant --signal-polltime was not being accepted.
MERGED FROM HEAD
M +1 -1 vg_main.c 1.198.2.4
--- valgrind/coregrind/vg_main.c #1.198.2.3:1.198.2.4
@@ -1723,5 +1723,5 @@ static void process_cmd_line_options( UI
else VG_NUM_CLO ("--input-fd", VG_(clo_input_fd))
else VG_NUM_CLO ("--sanity-level", VG_(clo_sanity_level))
- else VG_NUM_CLO ("--signalpolltime", 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)
|