From 0a202dd5e82b6796e919b5f970f8f79622967174 Mon Sep 17 00:00:00 2001 From: Tapani Pälli Date: Mon, 20 Nov 2017 08:36:52 +0200 Subject: glapi: add GL_EXT_disjoint_timer_query MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Most entrypoints already available via other extensions like GL_EXT_occlusion_query_boolean, GL_EXT_timer_query. Signed-off-by: Tapani Pälli Reviewed-by: Lionel Landwerlin Reviewed-by: Ian Romanick --- src/mapi/glapi/gen/es_EXT.xml | 16 ++++++++++++++++ src/mapi/glapi/gen/gl_API.xml | 4 ++-- 2 files changed, 18 insertions(+), 2 deletions(-) (limited to 'src/mapi') diff --git a/src/mapi/glapi/gen/es_EXT.xml b/src/mapi/glapi/gen/es_EXT.xml index f19007366fe..e5104259b62 100644 --- a/src/mapi/glapi/gen/es_EXT.xml +++ b/src/mapi/glapi/gen/es_EXT.xml @@ -847,6 +847,22 @@ + + + + + + + + + + + + + + + + diff --git a/src/mapi/glapi/gen/gl_API.xml b/src/mapi/glapi/gen/gl_API.xml index d3594cfe195..d13a3bfd83d 100644 --- a/src/mapi/glapi/gen/gl_API.xml +++ b/src/mapi/glapi/gen/gl_API.xml @@ -12944,12 +12944,12 @@ - + - + -- cgit v1.2.3