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/arhell | |
parent | 3e3a5e1cffb30b4dcc193cfac81b69655106f513 (diff) |
fun with valgrind
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 "$@" |