1 files changed, 26 insertions, 0 deletions
diff --git a/glew/auto/bin/update_ext.sh b/glew/auto/bin/update_ext.sh
new file mode 100644
index 0000000..0ee3af1
--- /dev/null
+++ b/glew/auto/bin/update_ext.sh
@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+##
+## Copyright (C) 2008-2019, Nigel Stewart <nigels[]users sourceforge net>
+## Copyright (C) 2002-2008, Marcelo E. Magallon <mmagallo[]debian org>
+## Copyright (C) 2002-2008, Milan Ikits <milan ikits[]ieee org>
+##
+## This program is distributed under the terms and conditions of the GNU
+## General Public License Version 2 as published by the Free Software
+## Foundation or, at your option, any later version.
+##
+## Parameters:
+##
+##       $1: Extensions directory
+##       $2: Registry directory
+##       $3: The black list
+
+set -e
+
+if [ ! -d $1 ] ; then
+    mkdir -p $1
+
+# Parse each of the extensions in the registry
+    find $2 -name doc -type d -prune -o -name "*.txt" -print | \
+	grep -v -f $3 | sort | bin/parse_spec.pl $1
+
+fi