chiark / gitweb /
fix exit status