mirror of
https://github.com/brl/mutter.git
synced 2025-01-27 03:49:03 +00:00
c970bb3e6c
Because both code paths require the existence of `GL_TIMESTAMP[_EXT]` which is only guaranteed if `ARB_timer_query` (included in GL core 3.3) is implemented. We know when that is true because `context->glGenQueries` and `context->glQueryCounter` are non-NULL. So that is the minimum requirement for any use of `GL_TIMESTAMP`, even when it is used in `glGetInteger64v`. Until now, Raspberry Pi (OpenGL 2.1) would find a working implementation of `glGetInteger64v` but failed to check whether the driver understands `GL_TIMESTAMP` (it doesn't). Fixes: https://gitlab.gnome.org/GNOME/mutter/-/issues/2107 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2253>