diff options
| author | Carl Hetherington <cth@carlh.net> | 2019-06-03 11:33:59 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2019-06-03 11:33:59 +0100 |
| commit | c1d3751723c5413eea4b4602ec5ecff5c961038d (patch) | |
| tree | 72b1f18eb50b7605620059f1b2736d43fede4f6f /src/wx/wscript | |
| parent | 12096b85415ae72468f2f0591366b8cf3668a604 (diff) | |
More GL build fixes.
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): |