gplugin/builders

pass the --track-origins option to valgrind

2020-03-12, Gary Kramlich
95e6ea59f233
Parents d92ab61b410d
Children 2a1793b047cc
pass the --track-origins option to valgrind
1 files changed, 1 insertions(+), 0 deletions(-)
  • +1 -0
    valgrind/valgrind-wrapper
    • --- a/valgrind/valgrind-wrapper Sun Mar 08 23:26:19 2020 -0500
    +++ b/valgrind/valgrind-wrapper Thu Mar 12 23:16:30 2020 -0500
    @@ -14,5 +14,6 @@
    --leak-check=full \
    --show-leak-kinds=${LEAK_KINDS} \
    --error-exitcode=1 \
    + --track-origins=yes \
    $@