From e5851fff8b4d8a4037a4dead885196a80fcf84ac Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Tue, 24 Oct 2017 18:08:40 -0400
Subject: [PATCH] headless arval script

---
 headless/harval | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 headless/harval

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 "$@"