diff options
-rwxr-xr-x | gtk2_ardour/arhell | 12 | ||||
-rwxr-xr-x | gtk2_ardour/armass | 6 |
2 files changed, 15 insertions, 3 deletions
diff --git a/gtk2_ardour/arhell b/gtk2_ardour/arhell new file mode 100755 index 0000000000..e2ed45c385 --- /dev/null +++ b/gtk2_ardour/arhell @@ -0,0 +1,12 @@ +#!/bin/sh +#HELGRIND_OPTIONS="$VALGRIND_OPTIONS --free-is-write=yes" +#HELGRIND_OPTIONS="$VALGRIND_OPTIONS --history-level=approx" +HELGRIND_OPTIONS="$VALGRIND_OPTIONS --log-file=/tmp/ardour-%p.log" + +TOP=`dirname "$0"`/.. +. $TOP/build/gtk2_ardour/ardev_common_waf.sh +export ARDOUR_RUNNING_UNDER_VALGRIND=TRUE +exec valgrind --tool=helgrind \ + --error-limit=no --num-callers=50 \ + $HELGRIND_OPTIONS \ + $TOP/$EXECUTABLE --novst "$@" 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 |