chiark / gitweb /
print revision in output from build-sh