--- a/bindings/python/wscript Thu Jul 12 16:31:42 2012 +0100
+++ b/bindings/python/wscript Thu Jul 12 17:39:58 2012 +0100
@@ -409,7 +409,6 @@
# can't cope with it, so we have to force the user to restart
# WAF)
self.bld.producer.stop = 1
- self.bld.producer.free_task_pool()
return 0