chiark / gitweb /
jenkins: make test script executable