diff options
| author | Vladislav Ivanishin <vlad@ispras.ru> | 2019-07-23 13:57:43 +0000 |
|---|---|---|
| committer | Vladislav Ivanishin <vlad@gcc.gnu.org> | 2019-07-23 13:57:43 +0000 |
| commit | e41dd06873b728bc62296fca39c526608c897ae2 (patch) | |
| tree | c7643f2869e3f6148910621a268beb124c6610a3 /gcc | |
| parent | 0bd65f4fde4b6a3615fd166bdd0e65dbda99fa9c (diff) | |
| download | gcc-e41dd06873b728bc62296fca39c526608c897ae2.zip gcc-e41dd06873b728bc62296fca39c526608c897ae2.tar.gz gcc-e41dd06873b728bc62296fca39c526608c897ae2.tar.bz2 | |
make gdbhooks.py idempotent with respect to reloading
gcc/ChangeLog:
2019-07-23 Vladislav Ivanishin <vlad@ispras.ru>
* gdbhooks.py: Pass replace=True to
gdb.printing.register_pretty_printer.
From-SVN: r273737
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 |