From 62d2c87d5a55ab75514d730e646f1eef77cb4a09 Mon Sep 17 00:00:00 2001
From: Nigel Stewart <nigels@users.sourceforge.net>
Date: Tue, 14 Aug 2012 18:43:08 -0500
Subject: [PATCH] Fixup for deleting extensions that disappeared from
 opengl.org

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

diff --git a/auto/bin/update_ext.sh b/auto/bin/update_ext.sh
index 1d521b4..2f38577 100755
--- a/auto/bin/update_ext.sh
+++ b/auto/bin/update_ext.sh
@@ -342,9 +342,9 @@ EOT
 EOT
 
 # Remove GL_ARB_debug_group, GL_ARB_debug_label and GL_ARB_debug_output2, for now
-    rm $1/GL_ARB_debug_group
-    rm $1/GL_ARB_debug_label
-    rm $1/GL_ARB_debug_output2
+    rm -f $1/GL_ARB_debug_group
+    rm -f $1/GL_ARB_debug_label
+    rm -f $1/GL_ARB_debug_output2
 
 # add typedefs to GL_ARB_cl_event
 # parse_spec.pl can't parse typedefs from New Types section, but ought to