chiark / gitweb /
make sure gcov reports generated after all tests complete