diff options
| author | Jose Fonseca <jfonseca@vmware.com> | 2016-01-26 12:30:54 +0000 |
|---|---|---|
| committer | Jose Fonseca <jfonseca@vmware.com> | 2016-01-26 12:30:54 +0000 |
| commit | 00eba86e9a2c66d973f3f6915dfadb03ebd5c27d (patch) | |
| tree | b26532e77d49625f8819768cf0846aadecd198e2 /wrappers/trace.py | |
| parent | 914c7e4f6715c27c4ee16f98b63ca8b4adf57fe7 (diff) | |
specs: Add missing GL_EXT_* extensions.
Diffstat (limited to 'wrappers/trace.py')
| -rw-r--r-- | wrappers/trace.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/wrappers/trace.py b/wrappers/trace.py index cb510246..a43841fc 100644 --- a/wrappers/trace.py +++ b/wrappers/trace.py @@ -496,7 +496,11 @@ class Tracer: for function in api.getAllFunctions(): self.traceFunctionDecl(function) for function in api.getAllFunctions(): - self.traceFunctionImpl(function) + try: + self.traceFunctionImpl(function) + except: + sys.stderr.write("error: %s: exception\n" % function.name) + raise print self.footer(api) |