correctly (?) indicate muted status of audio regions

[ardour.git] / gtk2_ardour / ardev

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