target_ext = sys.argv[i]
backport_ext = None
out_base = None
+ignore_things = []
if target_ext.endswith(".glext"):
fn = target_ext
target_ext = None
secondary.append(parts[1])
elif parts[0]=="backport":
backport_ext = parts[1]
+ elif parts[0]=="ignore":
+ ignore_things.append(parts[1])
if i+1<len(sys.argv):
out_base = os.path.splitext(sys.argv[i+1])[0]
else:
enums = get_nested_elements(req, "enum")
for t in itertools.chain(commands, enums):
name = t.getAttribute("name")
+ if name in ignore_things:
+ continue
+
thing = things.get(name)
if thing:
if thing.extension and extension.name!=target_ext: