From dc0f8cafdc49320382680f1ee1ce65be4c4a8c82 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 30 Apr 2018 20:55:26 +0200
Subject: [PATCH] More meaningful valgrind options
---
regtest/scripts/run | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/regtest/scripts/run b/regtest/scripts/run
index 66107ebb1..490733d20 100755
--- a/regtest/scripts/run
+++ b/regtest/scripts/run
@@ -5,7 +5,7 @@ export valgrind=env
for opt in ${*}
do
case "$opt" in
-(--valgrind) valgrind="valgrind --leak-check=full --show-reachable=yes" ;;
+(--valgrind) valgrind="valgrind --leak-check=full --track-origins=yes" ;;
(*) echo error ; exit ;;
esac
done
--
GitLab