chiark / gitweb /
Infra: Exit statuses: work around bizarre behaviour of perl die wrt $?, and de-reserv...