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 ed38b489d83b79018748db2abd5edbcdd60ccebf..589d1ef363e162787a7bfa3dc75ba89f50f87cb2 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