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.
34 lines
950 B
Bash
Executable File
34 lines
950 B
Bash
Executable File
#!/bin/sh
|
|
##
|
|
## 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.
|
|
|
|
set -e
|
|
|
|
if [ ! -d $1 ] ; then
|
|
mkdir -p $1
|
|
fi
|
|
cd $1
|
|
|
|
# wget used to return 0 (success), but more recent versions
|
|
# don't so we don't want to bail out in failure mode
|
|
# eventhough everything is fine.
|
|
|
|
set +e
|
|
|
|
wget \
|
|
--mirror \
|
|
--no-parent \
|
|
--no-host-directories \
|
|
--cut-dirs=2 \
|
|
--accept=txt,html \
|
|
$2
|
|
|
|
echo 'wget exit code: ' $?
|
|
|
|
exit 0
|