diff options
Diffstat (limited to 'Libraries/glew-2.0.0/auto/bin/update_ext.sh')
| -rw-r--r-- | Libraries/glew-2.0.0/auto/bin/update_ext.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/Libraries/glew-2.0.0/auto/bin/update_ext.sh b/Libraries/glew-2.0.0/auto/bin/update_ext.sh deleted file mode 100644 index e990a21d..00000000 --- a/Libraries/glew-2.0.0/auto/bin/update_ext.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash -## -## 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 |