From 9b64473a06f9cb350e3a10726c40b6ec881f6a60 Mon Sep 17 00:00:00 2001 From: Mikko Rasa Date: Tue, 5 Dec 2017 09:54:06 +0200 Subject: [PATCH] Fix a stupid bug in the extension generator --- scripts/extgen.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/extgen.py b/scripts/extgen.py index ff40ec60..35f01660 100755 --- a/scripts/extgen.py +++ b/scripts/extgen.py @@ -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: -- 2.45.2