Merge pull request #1600 from rzarzynski/wip-valgrind-controllable-exit
authorJosh Durgin <jdurgin@redhat.com>
Tue, 19 Jan 2021 19:06:45 +0000 (11:06 -0800)
committerGitHub <noreply@github.com>
Tue, 19 Jan 2021 19:06:45 +0000 (11:06 -0800)
commit0746baa909fb18d2f24925b8229879989a2768dd
treeb4f0c182edcb0650aba6701bc408b97ffc3ffbd4
parent04fddc547fdde29fcb6e7eda98d23f0230f821d5
parentc0969eade0ba5666de5549a121ccc78bf930df62
Merge pull request #1600 from rzarzynski/wip-valgrind-controllable-exit

teuthology/misc: make the Valgrind's early exit configurable.

Reviewed-by: Josh Durgin <jdurgin@redhat.com>