chiark / gitweb /
build: hard exit on success to avoid hanging