diff options
| author | José Fonseca <jose.r.fonseca@gmail.com> | 2011-12-01 09:30:12 +0000 |
|---|---|---|
| committer | José Fonseca <jose.r.fonseca@gmail.com> | 2011-12-01 09:30:12 +0000 |
| commit | 382d662aabebe85e8bc6f941eafc76454be24577 (patch) | |
| tree | 47928a4474341da92a9ecefc77f9f98b6c4f6e3e | |
| parent | 27ced2422a87714c5c2afea10b946cea977a512c (diff) | |
Make gltxt.py obbey prefix option for types too.
| -rwxr-xr-x | specs/scripts/gltxt.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/specs/scripts/gltxt.py b/specs/scripts/gltxt.py index 4ce9232..c1a0aea 100755 --- 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) |