Explorar el Código

tools/gdbinit: deal with new task status STARPU_TASK_STOPPED

Nathalie Furmento hace 10 años
padre
commit
67e4294f52
Se han modificado 1 ficheros con 3 adiciones y 0 borrados
  1. 3 0
      tools/gdbinit

+ 3 - 0
tools/gdbinit

@@ -69,6 +69,9 @@ define starpu-print-task
   if $task->status == 7
     set $status="STARPU_TASK_BLOCKED_ON_DATA"
   end
+  if $task->status == 8
+    set $status="STARPU_TASK_STOPPED"
+  end
 
   printf "StarPU Task (%p)\n", $task
   if $task->name