tags/openglupdate-2_3_14/update-headers.sh

#!/bin/bash

URL="http://www.opengl.org/registry/api"
HEADERS="glext.h glxext.h"

for i in ${HEADERS}
do
	echo "fetching ${URL}/${i}..."
	[[ -f $(pwd)/${i} ]] && rm ${i}
	wget -c ${URL}/${i}
done
1	niro	1320	#!/bin/bash
2
3			URL="http://www.opengl.org/registry/api"
4			HEADERS="glext.h glxext.h"
5
6			for i in ${HEADERS}
7			do
8			echo "fetching ${URL}/${i}..."
9			[[ -f $(pwd)/${i} ]] && rm ${i}
10			wget -c ${URL}/${i}
11			done