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

#!/bin/bash

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

for i in ${HEADERS}
do
	echo "fetching ${URL}/${i}..."
	[[ -f $(pwd)/${i} ]] && rm ${i}
	wget -c ${URL}/${LIB}/${i}

	define="$(basename ${i} .h | tr [a-z] [A-Z)"
	grep "^#define ${define//EXT}_${define}_VERSION" ${i} \
		| sed "s:^#define ${define//EXT}_${define}_VERSION\ \(.*\):\1:"  > VERSION_${define}
done
1	#!/bin/bash
2
3	URL="http://www.opengl.org/registry/api"
4	HEADERS="glext.h glxext.h"
5	LIB="GL"
6
7	for i in ${HEADERS}
8	do
9	echo "fetching ${URL}/${i}..."
10	[[ -f $(pwd)/${i} ]] && rm ${i}
11	wget -c ${URL}/${LIB}/${i}
12
13	define="$(basename ${i} .h \| tr [a-z] [A-Z)"
14	grep "^#define ${define//EXT}_${define}_VERSION" ${i} \
15	\| sed "s:^#define ${define//EXT}_${define}_VERSION\ \(.*\):\1:" > VERSION_${define}
16	done