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 | |
| parent | 3dbdc4d837b3bc5bd3b15a3d40b15610d639e7f1 (diff) | |
Elaborate valgrind options
Diffstat (limited to 'gtk2_ardour')
| -rwxr-xr-x | gtk2_ardour/armass | 1 | ||||
| -rwxr-xr-x | gtk2_ardour/arval | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/armass b/gtk2_ardour/armass index 3a21a04732..868e92d081 100755 --- a/gtk2_ardour/armass +++ b/gtk2_ardour/armass @@ -1,5 +1,6 @@ #!/bin/sh MASSIF_OPTIONS="$MASSIF_OPTIONS --time-unit=ms" +MASSIF_OPTIONS="$MASSIF_OPTIONS --threshold=0.2 --peak-inaccuracy=0.2 --max-snapshots=500" TOP=`dirname "$0"`/.. . $TOP/build/gtk2_ardour/ardev_common_waf.sh 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" |