Browse Source

Fix gdb printing requests with --enable-debug

Samuel Thibault 4 years ago
parent
commit
c8cacff766
1 changed files with 5 additions and 1 deletions
  1. 5 1
      tools/gdbinit

+ 5 - 1
tools/gdbinit

@@ -638,7 +638,11 @@ define starpu-print-requests-tree
 end
 
 define starpu-print-requests-list
-  starpu-print-requests-tree $arg0.tree.root
+  if _starpu_debug
+    starpu-print-requests-treelist &$arg0.list
+  else
+    starpu-print-requests-tree $arg0.tree.root
+  end
 end
 
 define starpu-print-requests