Fix non-OpenGL build

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
This commit is contained in:
Yuxuan Shui 2019-06-06 07:40:32 +01:00
parent a18e8fcdf0
commit cbb859ba3c
No known key found for this signature in database
GPG Key ID: 37C999F617EA1A47
1 changed files with 2 additions and 0 deletions

View File

@ -2049,10 +2049,12 @@ static void session_destroy(session_t *ps) {
deinit_render(ps);
}
#if CONFIG_OPENGL
if (glx_has_context(ps)) {
// GLX context created, but not for rendering
glx_destroy(ps);
}
#endif
// Flush all events
x_sync(ps->c);