diff options
| author | Tapani Pälli <[email protected]> | 2017-12-12 14:46:13 +0200 |
|---|---|---|
| committer | Tapani Pälli <[email protected]> | 2017-12-15 08:42:48 +0200 |
| commit | 33f73345da01a70aa0e5d61069508e169cb6a6ed (patch) | |
| tree | eda993eebaeee58b75d6742a8c6b61945efc4351 /scripts | |
| parent | 0a202dd5e82b6796e919b5f970f8f79622967174 (diff) | |
mesa: GL_EXT_disjoint_timer_query extension API bits
Patch adds GL_GPU_DISJOINT_EXT and enables to use timer queries when
EXT_disjoint_timer_query is enabled.
v2: enable extension only when EXT_disjoint_timer_query set
Signed-off-by: Tapani Pälli <[email protected]>
Reviewed-by: Lionel Landwerlin <[email protected]> (v1)
Reviewed-by: Ian Romanick <[email protected]>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions