diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gdbhooks.py | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4105878..06d2e4f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2019-07-23 Vladislav Ivanishin <vlad@ispras.ru> + + * gdbhooks.py: Pass replace=True to + gdb.printing.register_pretty_printer. + 2019-07-23 Richard Biener <rguenther@suse.de> PR debug/91231 diff --git a/gcc/gdbhooks.py b/gcc/gdbhooks.py index 09802c9..54056b3 100644 --- a/gcc/gdbhooks.py +++ b/gcc/gdbhooks.py @@ -605,7 +605,8 @@ def build_pretty_printer(): gdb.printing.register_pretty_printer( gdb.current_objfile(), - build_pretty_printer()) + build_pretty_printer(), + replace=True) def find_gcc_source_dir(): # Use location of global "g" to locate the source tree |