diff options
| author | Robin Gareus <robin@gareus.org> | 2015-10-27 11:15:34 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-10-27 11:15:34 +0100 |
| commit | 1de4ed937c064d633b24e732fef64b6304920996 (patch) | |
| tree | d574923e89b0a900ea58fadb9e857eeb3261ece0 /gtk2_ardour/armass | |
| parent | 3e3a5e1cffb30b4dcc193cfac81b69655106f513 (diff) | |
fun with valgrind
Diffstat (limited to 'gtk2_ardour/armass')
| -rwxr-xr-x | gtk2_ardour/armass | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gtk2_ardour/armass b/gtk2_ardour/armass index 7177d423f8..3a21a04732 100755 --- a/gtk2_ardour/armass +++ b/gtk2_ardour/armass @@ -1,11 +1,11 @@ #!/bin/sh +MASSIF_OPTIONS="$MASSIF_OPTIONS --time-unit=ms" TOP=`dirname "$0"`/.. . $TOP/build/gtk2_ardour/ardev_common_waf.sh -LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH export ARDOUR_RUNNING_UNDER_VALGRIND=TRUE -exec valgrind \ - --tool=massif \ +exec valgrind --tool=massif \ + $MASSIF_OPTIONS \ $TOP/$EXECUTABLE --novst "$@" # analyse output with |