session prefs editor gets renamed as session properties

[ardour.git] / gtk2_ardour / arval

diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval
index 5661b4cd1103d2fa2c9bd0c6e1b0a7718febb5ca..cdd709dbb596c5b8c93d2f52ec966d86c69256d3 100755 (executable)
--- a/gtk2_ardour/arval
+++ b/gtk2_ardour/arval
@@ -1,4 +1,5 @@
 #!/bin/sh
-. ardev_common.sh
+. `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  --num-callers=50 --tool=memcheck $EXECUTABLE --novst "$@"
+exec valgrind  --error-limit=no --num-callers=50 --tool=memcheck $TOP/$EXECUTABLE --novst "$@"