chiark / gitweb /
build-sys: use .DELETE_ON_ERROR