chiark / gitweb /
check, rcheck: Propagate exit status better; capture lines more precisely.