diff options
Diffstat (limited to 'src/wx/wscript')
| -rw-r--r-- | src/wx/wscript | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/wx/wscript b/src/wx/wscript index f355189ef..323a19a2b 100644 --- a/src/wx/wscript +++ b/src/wx/wscript @@ -271,7 +271,8 @@ def configure(conf): msg='Checking for glXSwapIntervalEXT', okmsg='yes', uselib='GL WXWIDGETS', - define_name='DCPOMATIC_HAVE_GLX_SWAP_INTERVAL_EXT') + define_name='DCPOMATIC_HAVE_GLX_SWAP_INTERVAL_EXT', + mandatory=False) def build(bld): |