Better naming algorithm for objects in scene export

[libs/gl.git] / scripts / extgen.py

diff --git a/scripts/extgen.py b/scripts/extgen.py
index ff40ec60eadd1f515336f78d4d82eec2e0cfdfff..92c78b504ff5a27ae1582c0e5d294f748d3692ed 100755 (executable)
--- a/scripts/extgen.py
+++ b/scripts/extgen.py
@@ -514,7 +514,7 @@ class SourceGenerator:
                self.enums.sort(key=(lambda e: e.value))
                self.core_version = detect_core_version(host_api, things, debug)
                self.deprecated_version = detect_deprecated_version(host_api, things, debug)
-               self.backport_ext = detect_backport_extension(host_api, things);
+               self.backport_ext = detect_backport_extension(host_api, things)
                b, e = detect_source_extension(host_api, things, debug)
                self.base_version = b
                self.source_exts = e
@@ -642,7 +642,7 @@ namespace GL {
                                supp = f.api_support.get(self.host_api.name)
                                src = None
                                for e in self.source_exts:
-                                       if f in e.things:
+                                       if f.name in e.things:
                                                src = f
                                        elif supp:
                                                for s in supp.sources: