From 1ae2e39d01f7b47f3dfd49f1e467420e51acf23e Mon Sep 17 00:00:00 2001 From: Dylan Noblesmith Date: Mon, 16 Jan 2012 21:32:52 +0000 Subject: [PATCH] glapi: sort ARB extensions by number And add comments to fill in for extensions that aren't there. Noticed the comment about "ARB extensions sorted by extension number" didn't extend to the directives when it became clear GL_ARB_texture_rg was missing, going by the error message seen here: https://bugs.freedesktop.org/show_bug.cgi?id=44039 This makes it easier to notice in the future if an extension is missing when it shouldn't be. Reviewed-by: Brian Paul --- src/mapi/glapi/gen/gl_API.xml | 97 ++++++++++++++++++++++++++--------- 1 file changed, 74 insertions(+), 23 deletions(-) diff --git a/src/mapi/glapi/gen/gl_API.xml b/src/mapi/glapi/gen/gl_API.xml index 779931d753d..9e7c7c2fb33 100644 --- a/src/mapi/glapi/gen/gl_API.xml +++ b/src/mapi/glapi/gen/gl_API.xml @@ -7893,44 +7893,102 @@ - + + + + + + + + - + - + + + + + + + + + + - + + + + - + + + + + - + + - + - + + + + + + + + + + + + + + + + + + + + + + + - + - + - + + - + + + + + + + + + + + + @@ -12417,18 +12475,11 @@ - - - - - - - - + - + - + - + -- 2.30.2