diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/valgrind.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh index bb308a5773..4eeb9c9785 100755 --- a/scripts/valgrind.sh +++ b/scripts/valgrind.sh @@ -6,7 +6,6 @@ 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 \ |