chiark / gitweb /
build-sys: do not run coverage if build failed