X-Git-Url: http://git.tdb.fi/?p=libs%2Fgl.git;a=blobdiff_plain;f=scripts%2Fextgen.py;h=45094a4df35df26fe2608e0f07a4005378ec125e;hp=fd239d7077de3344f998bd6ffab84f22007c01ac;hb=55dbeb5e04516699b8415104e346243d5e4c48c9;hpb=ccbfdfa0d9d796244b1ecc0fa3faa2c50304811b

diff --git a/scripts/extgen.py b/scripts/extgen.py
index fd239d70..45094a4d 100755
--- a/scripts/extgen.py
+++ b/scripts/extgen.py
@@ -33,6 +33,7 @@ if sys.argv[i].startswith("gl"):
 target_ext = sys.argv[i]
 backport_ext = None
 out_base = None
+ignore_things = []
 if target_ext.endswith(".glext"):
 	fn = target_ext
 	target_ext = None
@@ -49,6 +50,8 @@ if target_ext.endswith(".glext"):
 			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:
@@ -221,6 +224,9 @@ def parse_extension(ext):
 		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: