mirror of
https://github.com/nigels-com/glew.git
synced 2024-11-11 16:53:49 +00:00
e2036b5afd
Move registry into registry/gl, move extensions into extensions/gl. This allows room for registry/gles and extensions/gles. Extension filtering moved from update_ext.sh to filter_gl_ext.sh, different logic for OpenGL ES.
26 lines
672 B
Bash
Executable File
26 lines
672 B
Bash
Executable File
#!/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
|