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/armass | |
parent | 3dbdc4d837b3bc5bd3b15a3d40b15610d639e7f1 (diff) |
Elaborate valgrind options
Diffstat (limited to 'gtk2_ardour/armass')
-rwxr-xr-x | gtk2_ardour/armass | 1 |
1 files changed, 1 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 |