equal
deleted
inserted
replaced
407 def run(self): |
407 def run(self): |
408 # signal stop (we generated files into the source dir and WAF |
408 # signal stop (we generated files into the source dir and WAF |
409 # can't cope with it, so we have to force the user to restart |
409 # can't cope with it, so we have to force the user to restart |
410 # WAF) |
410 # WAF) |
411 self.bld.producer.stop = 1 |
411 self.bld.producer.stop = 1 |
412 self.bld.producer.free_task_pool() |
|
413 return 0 |
412 return 0 |
414 |
413 |
415 |
414 |
416 |
415 |
417 class gen_ns3_compat_pymod_task(Task.Task): |
416 class gen_ns3_compat_pymod_task(Task.Task): |