Make gltxt.py obbey prefix option for types too.

diff --git a/specs/scripts/gltxt.py b/specs/scripts/gltxt.py
index 4ce92320114b1d52ba101739310a78baf7837b40..c1a0aeaf1039baccc456b0436e46ea4ac35ef631 100755 (executable)
--- a/specs/scripts/gltxt.py
+++ b/specs/scripts/gltxt.py
@@ -187,7 +187,7 @@ class TxtParser(LineParser):
         if token == 'void':
             type = 'Void'
         else:
-            type = 'GL' + token
+            type = self.prefix.upper() + token
         while self.tokens[0] == '*':
             type = 'OpaquePointer(%s)' % type
             self.tokens.pop(0)