diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/valgrind.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh index 4eeb9c9785..bb308a5773 100755 --- a/scripts/valgrind.sh +++ b/scripts/valgrind.sh @@ -6,6 +6,7 @@ set -o pipefail VALGRIND_PREFIX=$(scripts/mason.sh PREFIX valgrind VERSION 3.12.0) PARAMS="\ + --track-origins=yes \ --leak-check=full \ --show-leak-kinds=definite \ --errors-for-leak-kinds=definite \ |