chiark / gitweb /
test suite: Support run-all -p, DGIT_TESTS_PROGRESSIVE