Samuel Thibaultdc2959f5f2port r11504 from 1.1: Make run_driver cover the case when the task is not finished when we call starpu_drivers_request_termination. This is actually not working any more in the trunk, and needs fixing
dc2959f5f2
port r11504 from 1.1: Make run_driver cover the case when the task is not finished when we call starpu_drivers_request_termination. This is actually not working any more in the trunk, and needs fixing