From 027efdea2a6c22634b825a19a5da9e2b1bf21f9a Mon Sep 17 00:00:00 2001
From: Nigel Stewart <nigels@users.sourceforge.net>
Date: Mon, 17 Sep 2012 18:32:31 -0500
Subject: [PATCH] Resolve bug #200 glGetPointerv of GL_KHR_debug hides OpenGL
 1.1.

---
 auto/bin/update_ext.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/auto/bin/update_ext.sh b/auto/bin/update_ext.sh
index 111f6f1..8cbaa19 100755
--- a/auto/bin/update_ext.sh
+++ b/auto/bin/update_ext.sh
@@ -341,6 +341,10 @@ EOT
 	typedef void (APIENTRY *GLDEBUGPROC)(GLenum source, GLenum type, GLuint id, GLenum severity, GLsizei length, const GLchar* message, GLvoid* userParam)
 EOT
 
+# Remove glGetPointerv from GL_KHR_debug
+    grep -v "glGetPointerv" $1/GL_KHR_debug > tmp
+    mv tmp $1/GL_KHR_debug
+
 # Remove GL_ARB_debug_group, GL_ARB_debug_label and GL_ARB_debug_output2, for now
     rm -f $1/GL_ARB_debug_group
     rm -f $1/GL_ARB_debug_label