include stdint.h if WIN32 and GNUC (Colin Harrison). Patch forwarded to SGI.

diff --git a/include/GL/glxext.h b/include/GL/glxext.h
index ed38b48..589d1ef 100644 (file)
--- a/include/GL/glxext.h
+++ b/include/GL/glxext.h
@@ -347,6 +347,8 @@ typedef long long int int64_t;
 #include <inttypes.h>
 #elif defined(__SCO__) || defined(__USLC__)
 #include <stdint.h>
+#elif defined(WIN32) && defined(__GNUC__)
+#include <stdint.h>
 #endif
 
 #ifndef GLX_VERSION_1_3