bjz/khronos-api — pull request #1 by derekdreery (2014-06-14 23:10:56+00:00)
Title: $(GENHEADERS) in bash

On my system I needed to do ./genheaders.py rather than genheaders.py for the build to work. Otherwise the whole gl-rs wouldn't build.

Are there any problems with the change?