chiark / gitweb /
Test suite: drs-push-rejects: use set +o pipefail, not set +e