session prefs editor gets renamed as session properties

[ardour.git] / gtk2_ardour / arval

diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval
index d427ae62e1d90874c2a2d004c95c1099184ab60c..cdd709dbb596c5b8c93d2f52ec966d86c69256d3 100755 (executable)
--- a/gtk2_ardour/arval
+++ b/gtk2_ardour/arval
@@ -1,3 +1,5 @@
 #!/bin/sh
-. ardev_common.sh
-exec valgrind  --num-callers=50 --tool=memcheck gtk2_ardour/ardour.bin --novst $*
+. `dirname "$0"`/../build/default/gtk2_ardour/ardev_common_waf.sh
+LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+export ARDOUR_RUNNING_UNDER_VALGRIND=TRUE
+exec valgrind  --error-limit=no --num-callers=50 --tool=memcheck $TOP/$EXECUTABLE --novst "$@"