diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2017-10-24 18:08:40 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2017-10-26 10:37:53 -0400 |
| commit | e5851fff8b4d8a4037a4dead885196a80fcf84ac (patch) | |
| tree | 654d4c86dd8d09772a785b01cc6fb83ff5cab49e /headless | |
| parent | 33c9772fdad33d9b2d4900c1fc31fa0669d993bd (diff) | |
headless arval script
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 "$@" |