--- trunk/opengl-update/update-headers.sh 2018/05/22 14:23:31 3087 +++ trunk/opengl-update/update-headers.sh 2018/05/29 09:15:27 3088 @@ -2,12 +2,13 @@ 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}/${i} + wget -c ${URL}/${LIB}/${i} define="$(basename ${i} .h | tr [a-z] [A-Z)" grep "^#define ${define//EXT}_${define}_VERSION" ${i} \