|
@@ -163,9 +163,5 @@ void _starpu_block_worker(int workerid, pthread_cond_t *cond, pthread_mutex_t *m
|
|
_starpu_worker_update_profiling_info_sleeping(workerid, &start_time, &end_time);
|
|
_starpu_worker_update_profiling_info_sleeping(workerid, &start_time, &end_time);
|