diff options
Diffstat (limited to 'headless')
| -rwxr-xr-x | headless/harval | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/headless/harval b/headless/harval new file mode 100755 index 0000000000..fa3430e684 --- /dev/null +++ b/headless/harval @@ -0,0 +1,15 @@ +#!/bin/sh +. `dirname "$0"`/../build/headless/hardev_common_waf.sh +LD_LIBRARY_PATH=$LD_LIBRARY_PATH + +TOP=`dirname "$0"`/.. +if uname | grep -q arwin; then + OBJSUPP="--suppressions=${TOP}/tools/objc.supp" +fi +export ARDOUR_RUNNING_UNDER_VALGRIND=TRUE +exec valgrind --tool=memcheck \ + $VALGRIND_OPTIONS \ + --track-origins=yes \ + --suppressions=${TOP}/tools/valgrind.supp \ + $OBJSUPP \ + $TOP/$EXECUTABLE --novst "$@" |