diff options
Diffstat (limited to 'gtk2_ardour/arhell')
| -rwxr-xr-x | gtk2_ardour/arhell | 12 |
1 files changed, 12 insertions, 0 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 "$@" |