chiark / gitweb /
coredump: log coredump even if core dumping fails