diff options
| author | Paul Berry <[email protected]> | 2012-10-10 16:48:08 -0700 |
|---|---|---|
| committer | Paul Berry <[email protected]> | 2012-10-16 12:03:55 -0700 |
| commit | e378cd77bc63ebeaec42030da8f5ceb1d9c4be10 (patch) | |
| tree | 90e066af761f2f29ee295ce638144874281be688 /src/mapi/glapi/gen/gl_table.py | |
| parent | cd4ce16c450d2cf99fb508d1be1a111a2b1f9423 (diff) | |
glapi: Use GLES information from XML rather than gles_api.py.
Tested-by: Matt Turner <[email protected]>
Reviewed-by: Ian Romanick <[email protected]>
Diffstat (limited to 'src/mapi/glapi/gen/gl_table.py')
| -rw-r--r-- | src/mapi/glapi/gen/gl_table.py | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/mapi/glapi/gen/gl_table.py b/src/mapi/glapi/gen/gl_table.py index 856aedb4fcf..382eaafd949 100644 --- a/src/mapi/glapi/gen/gl_table.py +++ b/src/mapi/glapi/gen/gl_table.py @@ -254,13 +254,6 @@ if __name__ == '__main__': api = gl_XML.parse_GL_API( file_name ) if es is not None: - import gles_api - - api_map = { - 'es1': gles_api.es1_api, - 'es2': gles_api.es2_api, - } - - api.filter_functions(api_map[es]) + api.filter_functions_by_api(es) printer.Print( api ) |