[Python-Dev] Stable buildbots

[Antoine Pitrou]

Hello,

> I'm pretty sure the best long term fix is to move the kill processing
> into the clean script (as per issue 9973) rather than where it
> currently is in the build script, but so far I don't think the idea
> has been able to attract the interest of anyone who can actually
> commit such a change.

Thanks for bringing my attention on this. I've added a comment on that
issue. If you say this should improve things, there's probably no
reason not to commit such a patch.

Regards

Antoine.