add editor to Theme Manager for modifiers

[ardour.git] / gtk2_ardour / arval

diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval
index cea6299d05cd3f95b01cd6b1274165a54e65afe7..6aa8f8b08eb39b8e6bf7e086b3f59df22e68eb99 100755 (executable)
--- a/gtk2_ardour/arval
+++ b/gtk2_ardour/arval
@@ -1,3 +1,16 @@
 #!/bin/sh
-source ardev_common.sh
-exec valgrind  --num-callers=50 --tool=memcheck gtk2_ardour/ardour.bin --novst $*
+VALGRIND_OPTIONS="$VALGRIND_OPTIONS --num-callers=50"
+VALGRIND_OPTIONS="$VALGRIND_OPTIONS --error-limit=no"
+#VALGRIND_OPTIONS="$VALGRIND_OPTIONS --leak-check=full --leak-resolution=high"
+#VALGRIND_OPTIONS="$VALGRIND_OPTIONS --log-file=/tmp/ardour-%p.log"
+#VALGRIND_OPTIONS="$VALGRIND_OPTIONS --gen-suppressions=all"
+
+TOP=`dirname "$0"`/..
+. $TOP/build/gtk2_ardour/ardev_common_waf.sh
+LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+export ARDOUR_RUNNING_UNDER_VALGRIND=TRUE
+exec valgrind --tool=memcheck \
+       $VALGRIND_OPTIONS \
+        --track-origins=yes \
+       --suppressions=`dirname "$0"`/../tools/valgrind.supp \
+       $TOP/$EXECUTABLE --novst "$@"