mirror of
https://codeberg.org/redict/redict.git
synced 2025-01-22 16:18:28 -05:00
command line option in test suite to activate valgrind mode
This commit is contained in:
parent
e9bc56dbed
commit
4b918769a1
@ -171,7 +171,7 @@ proc start_server {options {code undefined}} {
|
|||||||
set stderr [format "%s/%s" [dict get $config "dir"] "stderr"]
|
set stderr [format "%s/%s" [dict get $config "dir"] "stderr"]
|
||||||
|
|
||||||
if {$::valgrind} {
|
if {$::valgrind} {
|
||||||
exec valgrind src/redis-server $config_file > $stdout 2> $stderr &
|
exec valgrind --suppressions=src/valgrind.sup src/redis-server $config_file > $stdout 2> $stderr &
|
||||||
} else {
|
} else {
|
||||||
exec src/redis-server $config_file > $stdout 2> $stderr &
|
exec src/redis-server $config_file > $stdout 2> $stderr &
|
||||||
}
|
}
|
||||||
|
@ -167,6 +167,8 @@ for {set j 0} {$j < [llength $argv]} {incr j} {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
incr j
|
incr j
|
||||||
|
} elseif {$opt eq {--valgrind}} {
|
||||||
|
set ::valgrind 1
|
||||||
} elseif {$opt eq {--file}} {
|
} elseif {$opt eq {--file}} {
|
||||||
set ::file $arg
|
set ::file $arg
|
||||||
incr j
|
incr j
|
||||||
|
Loading…
Reference in New Issue
Block a user