summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gdbinit8
1 files changed, 7 insertions, 1 deletions
diff --git a/.gdbinit b/.gdbinit
index e28763d7d3..0e2d44ecd5 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -404,7 +404,13 @@ define dump_one_pool
set $done = 1
end
end
- printf "Pool '%s' [%p]: %d/%d free (%d blocks)\n", $p->tag, $p, $free, $size, $nodes
+ printf "Pool '"
+ if $p->tag
+ printf "%s", $p->tag
+ else
+ printf "no tag"
+ end
+ printf "' [%p]: %d/%d free (%d blocks)\n", $p, $free, $size, $nodes
end
# Set sane defaults for common signals: