diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2013-10-15 11:17:12 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-10-15 11:17:12 -0400 |
| commit | 69a8fc43e2552d9d3c72f9117131ca6b9392093b (patch) | |
| tree | 5801431cf70df2f7d4e9019977e2aa37c052be7f /gtk2_ardour/wscript | |
| parent | 2a6a16f980ff9181b138f7a30aedfbde4426a591 (diff) | |
| parent | fb1eefdd5e0fb4bce89634aba61196263cc91979 (diff) | |
Merge branch 'master' into windows
Diffstat (limited to 'gtk2_ardour/wscript')
| -rw-r--r-- | gtk2_ardour/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript index 79631e584e..58a4302232 100644 --- a/gtk2_ardour/wscript +++ b/gtk2_ardour/wscript @@ -650,7 +650,7 @@ def build(bld): # Menus menus_argv = [] if bld.is_defined('GTKOSX'): - menus_argv = [ '-E', '-P', '-DGTKOSX', '-DNOVIDEOTIMELINE' ] + menus_argv = [ '-E', '-P', '-DGTKOSX' ] else: menus_argv = [ '-E', '-P' ] |