Browse Source

permit to pass a pointer to print a data handle

Samuel Thibault 13 years ago
parent
commit
c358dbc705
1 changed files with 1 additions and 1 deletions
  1. 1 1
      tools/gdbinit

+ 1 - 1
tools/gdbinit

@@ -147,7 +147,7 @@ end
 
 define starpu-print-data
   set language c
-  set $data = $arg0
+  set $data = (starpu_data_handle) $arg0
   printf "Data handle %p\n", $data
   printf "Home node %d\n", $data->home_node
   printf "Requests %d\n", $data->refcnt