14 lines
690 B
Diff
14 lines
690 B
Diff
https://bugzilla.redhat.com/show_bug.cgi?id=1085576
|
|
|
|
--- gdb-7.8.2/gdb/python/lib/gdb/command/type_printers.py-orig 2015-01-15 11:58:12.000000000 +0100
|
|
+++ gdb-7.8.2/gdb/python/lib/gdb/command/type_printers.py 2015-06-26 15:33:43.972460415 +0200
|
|
@@ -47,7 +47,7 @@ class InfoTypePrinter(gdb.Command):
|
|
sep = ''
|
|
for objfile in gdb.objfiles():
|
|
if objfile.type_printers:
|
|
- print ("%sType printers for %s:" % (sep, objfile.name))
|
|
+ print ("%sType printers for %s:" % (sep, objfile.filename))
|
|
self.list_type_printers(objfile.type_printers)
|
|
sep = '\n'
|
|
if gdb.current_progspace().type_printers:
|