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. _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
