diff options
author | Erik Faye-Lund <[email protected]> | 2018-12-09 21:20:30 +0000 |
---|---|---|
committer | Emil Velikov <[email protected]> | 2019-01-24 18:13:24 +0000 |
commit | 6148cce388f42739e06124b4c5c9d535e6fd1af8 (patch) | |
tree | 816fa58718dff802fc5c56db2392dd1ff3c0ef8c | |
parent | ca152234e1903f0ad41e6b27c6a0626025e3f80c (diff) |
mapi: drop unneeded gl_dispatch_stub declarations
These declarations are not used anywhere - be that generated code or
otherwise.
[Emil: format the hunk from Erik into a patch]
Signed-off-by: Emil Velikov <[email protected]>
-rw-r--r-- | src/mapi/mapi_abi.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mapi/mapi_abi.py b/src/mapi/mapi_abi.py index bb505561e7c..1ce3fd3f1e6 100644 --- a/src/mapi/mapi_abi.py +++ b/src/mapi/mapi_abi.py @@ -334,7 +334,8 @@ class ABIPrinter(object): if not self.need_entry_point(ent): continue export = self.api_call if not ent.hidden else '' - decls.append(self._c_decl(ent, prefix, True, export) + ';') + if not ent.hidden: + decls.append(self._c_decl(ent, prefix, True, export) + ';') return "\n".join(decls) |