For new extensions, we've been adding the entry points to a new,
per-extension, .xml file.
More comments below.
On 08/26/2013 03:43 AM, Timothy Arceri wrote:
>
> Signed-off-by: Timothy Arceri
> ---
> src/mapi/glapi/gen/gl_API.xml| 149
> +-
> src/mapi/
On 26 August 2013 03:43, Timothy Arceri wrote:
>
> Signed-off-by: Timothy Arceri
> ---
> src/mapi/glapi/gen/gl_API.xml| 149
> +-
> src/mapi/glapi/gen/gl_genexec.py |1 +
> 2 files changed, 149 insertions(+), 1 deletion(-)
>
> diff --git a/src/mapi/g
Signed-off-by: Timothy Arceri
---
src/mapi/glapi/gen/gl_API.xml| 149 +-
src/mapi/glapi/gen/gl_genexec.py |1 +
2 files changed, 149 insertions(+), 1 deletion(-)
diff --git a/src/mapi/glapi/gen/gl_API.xml b/src/mapi/glapi/gen/gl_API.xml
index 82b908f