diff options
author | Robin Gareus <robin@gareus.org> | 2017-01-20 13:50:10 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-01-20 13:54:15 +0100 |
commit | 6d4fc96f0b8e3ce71a8fdae374c8f9a9112b80e6 (patch) | |
tree | ab7e052bc6f32738a3b25b97213ae178bbe40b51 /gtk2_ardour/arval | |
parent | 3dbdc4d837b3bc5bd3b15a3d40b15610d639e7f1 (diff) |
Elaborate valgrind options
Diffstat (limited to 'gtk2_ardour/arval')
-rwxr-xr-x | gtk2_ardour/arval | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval index 94ddfc1d2c..40c18165da 100755 --- a/gtk2_ardour/arval +++ b/gtk2_ardour/arval @@ -2,6 +2,7 @@ VALGRIND_OPTIONS="$VALGRIND_OPTIONS --num-callers=50" VALGRIND_OPTIONS="$VALGRIND_OPTIONS --error-limit=no" #VALGRIND_OPTIONS="$VALGRIND_OPTIONS --leak-check=full --leak-resolution=high" +#VALGRIND_OPTIONS="$VALGRIND_OPTIONS --show-leak-kinds=all -v" #VALGRIND_OPTIONS="$VALGRIND_OPTIONS --log-file=/tmp/ardour-%p.log" #VALGRIND_OPTIONS="$VALGRIND_OPTIONS --gen-suppressions=all" |