make-revision

#!/bin/sh
(
echo "// This header is generated by the make-revision script."
echo
echo \#define GLSLANG_PATCH_LEVEL `git log --oneline | wc -l`
) > glslang/Include/revision.h