diff options
Diffstat (limited to 'src/mapi')
| -rw-r--r-- | src/mapi/glapi/gen/gl_marshal.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/mapi/glapi/gen/gl_marshal.py b/src/mapi/glapi/gen/gl_marshal.py index f52b9b7b810..062afe566fd 100644 --- a/src/mapi/glapi/gen/gl_marshal.py +++ b/src/mapi/glapi/gen/gl_marshal.py @@ -66,8 +66,6 @@ class PrintCode(gl_XML.gl_print_base): def printRealHeader(self): print header - print '#ifdef HAVE_PTHREAD' - print print 'static inline int safe_mul(int a, int b)' print '{' print ' if (a < 0 || b < 0) return -1;' @@ -78,8 +76,7 @@ class PrintCode(gl_XML.gl_print_base): print def printRealFooter(self): - print - print '#endif' + pass def print_sync_call(self, func): call = 'CALL_{0}(ctx->CurrentServerDispatch, ({1}))'.format( |