diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2019-02-24 21:43:47 +0100 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2019-03-20 20:44:43 +0100 |
commit | fb37284c027b494ed3ec21124001fcb729f42cc4 (patch) | |
tree | 9f1eb66c751cb1339e01bb4db2595f33e7658691 /platform | |
parent | 96abb695f29ed4f88394f64262fd75cc9937e8fd (diff) |
Create class for shared memory blocks [wip]
Diffstat (limited to 'platform')
-rw-r--r-- | platform/x11/detect.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/x11/detect.py b/platform/x11/detect.py index b5ad59e60a..c36013a31a 100644 --- a/platform/x11/detect.py +++ b/platform/x11/detect.py @@ -293,7 +293,7 @@ def configure(env): env.Append(CPPPATH=['#platform/x11']) env.Append(CPPFLAGS=['-DX11_ENABLED', '-DUNIX_ENABLED', '-DOPENGL_ENABLED', '-DGLES_ENABLED']) - env.Append(LIBS=['GL', 'pthread']) + env.Append(LIBS=['GL', 'pthread', 'rt']) if (platform.system() == "Linux"): env.Append(LIBS=['dl']) |