chiark / gitweb /
script to run ./makebuildserver on Jenkins instances