diff options
Diffstat (limited to 'headless/hardev')
-rwxr-xr-x | headless/hardev | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/headless/hardev b/headless/hardev index 75c29e54de..b22f9c2552 100755 --- a/headless/hardev +++ b/headless/hardev @@ -1,4 +1,5 @@ #!/bin/sh -. `dirname "$0"`/../build/headless/hardev_common_waf.sh +TOP=`dirname "$0"`/.. +. $TOP/build/gtk2_ardour/ardev_common_waf.sh export UBUNTU_MENUPROXY="" -exec $TOP/$EXECUTABLE "$@" +exec $TOP/build/headless/hardour-$ARDOURVERSION "$@" |