add editor to Theme Manager for modifiers

[ardour.git] / gtk2_ardour / arval

diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval
old mode 100644 (file)
new mode 100755 (executable)
index f8c8a33..6aa8f8b
--- a/gtk2_ardour/arval
+++ b/gtk2_ardour/arval
@@ -1,5 +1,16 @@
 #!/bin/sh
-. `dirname "$0"`/../build/default/gtk2_ardour/ardev_common_waf.sh
+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  --num-callers=50 --tool=memcheck $TOP/$EXECUTABLE --novst "$@"
+exec valgrind --tool=memcheck \
+       $VALGRIND_OPTIONS \
+        --track-origins=yes \
+       --suppressions=`dirname "$0"`/../tools/valgrind.supp \
+       $TOP/$EXECUTABLE --novst "$@"