diff options
| -rw-r--r-- | src/mapi/glapi/gen/gl_marshal.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mapi/glapi/gen/gl_marshal.py b/src/mapi/glapi/gen/gl_marshal.py index 576d42c1263..fe030901859 100644 --- a/src/mapi/glapi/gen/gl_marshal.py +++ b/src/mapi/glapi/gen/gl_marshal.py @@ -66,10 +66,10 @@ class PrintCode(gl_XML.gl_print_base): def printRealHeader(self): print header - print '#include <X11/Xlib-xcb.h>' - print print '#ifdef HAVE_PTHREAD' print + print '#include <X11/Xlib-xcb.h>' + print print 'static _X_INLINE int safe_mul(int a, int b)' print '{' print ' if (a < 0 || b < 0) return -1;' |