diff options
author | Eric Anholt <eric@anholt.net> | 2013-12-06 17:31:30 -0800 |
---|---|---|
committer | Eric Anholt <eric@anholt.net> | 2013-12-06 17:32:13 -0800 |
commit | 0e7b9c09397304e745a3b8a9f71f660209ca8beb (patch) | |
tree | 7dc60948df7f5d4eb300e1649310fd8bf00e19fa /src | |
parent | 60ea7c38a2e68b8567d47d171ac8e2aa2365fa9d (diff) |
Fix generation of redundant typedefs.
Diffstat (limited to 'src')
-rwxr-xr-x | src/gen_dispatch.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/gen_dispatch.py b/src/gen_dispatch.py index 525d425..537ae80 100755 --- a/src/gen_dispatch.py +++ b/src/gen_dispatch.py @@ -172,6 +172,13 @@ class Generator(object): if 'name' in t.attrib and t.attrib['name'] not in {'GLhandleARB'}: continue + # The gles1/gles2-specific types are redundant + # declarations, and the different types used for them (int + # vs int32_t) caused problems on win32 builds. + api = t.get('api') + if api: + continue + if t.text is not None: self.typedefs += t.text |