correctly (?) indicate muted status of audio regions

[ardour.git] / gtk2_ardour / ardev

diff --git a/gtk2_ardour/ardev b/gtk2_ardour/ardev
index 3b65b2ec7938180c3f7ca179831ce2171cb71e9b..c1cbd2d1d72beeef9d8b4dbd3a3554382072a4c6 100755 (executable)
--- a/gtk2_ardour/ardev
+++ b/gtk2_ardour/ardev
@@ -1,3 +1,4 @@
 #!/bin/sh
-. `dirname "$0"`/ardev_common.sh
-exec $EXECUTABLE "$*"
+. `dirname "$0"`/../build/gtk2_ardour/ardev_common_waf.sh
+export UBUNTU_MENUPROXY=""
+exec $TOP/$EXECUTABLE "$@"