chiark / gitweb /
Fix build-sh problem