|
@@ -285,7 +285,6 @@ void _starpu_driver_update_job_feedback(struct _starpu_job *j, struct _starpu_wo
|
|
|
static void _starpu_worker_set_status_scheduling(int workerid)
|
|
|
{
|
|
|
if (_starpu_worker_get_status(workerid) != STATUS_SLEEPING
|
|
|
- && _starpu_worker_get_status(workerid) != STATUS_WAKING_UP
|
|
|
&& _starpu_worker_get_status(workerid) != STATUS_SCHEDULING)
|
|
|
{
|
|
|
_STARPU_TRACE_WORKER_SCHEDULING_START;
|