adjust plugin-UI height when toggling expanders

[ardour.git] / gtk2_ardour / arval

diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval
index 349f528b7361793a086b68c1fd014e8289f2483f..94ddfc1d2c48b7eb6fed2daad0a7aa842ac19824 100755 (executable)
--- a/gtk2_ardour/arval
+++ b/gtk2_ardour/arval
@@ -7,11 +7,13 @@ VALGRIND_OPTIONS="$VALGRIND_OPTIONS --error-limit=no"
 
 TOP=`dirname "$0"`/..
 . $TOP/build/gtk2_ardour/ardev_common_waf.sh
-LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+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=`dirname "$0"`/../tools/valgrind.supp \
-       --suppressions=`dirname "$0"`/../tools/objc.supp \
+       --track-origins=yes \
+       --suppressions=${TOP}/tools/valgrind.supp \
+       $OBJSUPP \
        $TOP/$EXECUTABLE --novst "$@"