diff options
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 |