<div dir="ltr">On 5 June 2013 16:14, Eric Anholt <span dir="ltr"><<a href="mailto:eric@anholt.net" target="_blank">eric@anholt.net</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Looking at gl.spec and the regexps, that's not what this function did.<br>
---<br>
 glapi/parse_glspec.py | 4 ++--<br>
 1 file changed, 2 insertions(+), 2 deletions(-)<br>
<br>
diff --git a/glapi/parse_glspec.py b/glapi/parse_glspec.py<br>
index 460512a..3f63982 100644<br>
--- a/glapi/parse_glspec.py<br>
+++ b/glapi/parse_glspec.py<br>
@@ -178,9 +178,9 @@ def filter_comments(f):<br>
 # Convert a category name from the form used in the gl.spec file to<br>
 # the form we want to output in JSON.  E.g.:<br>
 #<br>
-# - "2.1" is converted into { 'kind': 'GL', 'gl_10x_version': 21 }<br>
+# - "GL_VERSION_2_1" is converted into { 'kind': 'GL', 'gl_10x_version': 21 }<br></blockquote><div><br></div><div>I think you mean: "VERSION_2_1" is converted into { 'kind': 'GL', 'gl_10x_version': 21 }<br>
<br></div><div>With that changed, this patch is:<br><br>Reviewed-by: Paul Berry <<a href="mailto:stereotype441@gmail.com">stereotype441@gmail.com</a>><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

 #<br>
-# - "FOO" is converted into { 'kind': 'extension', 'extension_name': 'GL_FOO' }<br>
+# - "ARB_foo" is converted into { 'kind': 'extension', 'extension_name': 'GL_ARB_foo' }<br>
 def translate_category(category_name):<br>
     m = GL_VERSION_REGEXP.match(category_name)<br>
     if m:<br>
<span class="HOEnZb"><font color="#888888">--<br>
1.8.3.rc0<br>
<br>
_______________________________________________<br>
Piglit mailing list<br>
<a href="mailto:Piglit@lists.freedesktop.org">Piglit@lists.freedesktop.org</a><br>
<a href="http://lists.freedesktop.org/mailman/listinfo/piglit" target="_blank">http://lists.freedesktop.org/mailman/listinfo/piglit</a><br>
</font></span></blockquote></div><br></div></div>