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