|
@@ -88,9 +88,10 @@ int main(int argc, char **argv)
|
|
|
|
|
|
ret = starpu_tag_wait(tag);
|
|
ret = starpu_tag_wait(tag);
|
|
STARPU_CHECK_RETURN_VALUE(ret, "starpu_tag_wait");
|
|
STARPU_CHECK_RETURN_VALUE(ret, "starpu_tag_wait");
|
|
- starpu_task_deinit(&task);
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ starpu_task_deinit(&task);
|
|
|
|
+
|
|
gettimeofday(&end, NULL);
|
|
gettimeofday(&end, NULL);
|
|
|
|
|
|
timing = (double)((end.tv_sec - start.tv_sec)*1000000
|
|
timing = (double)((end.tv_sec - start.tv_sec)*1000000
|