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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 41058783c0b33e999bc21b956e20e6537f84350e..06d2e4f97a2ce49d2dd12d4e5310653e5c125e4a 100644 (file)
--- 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 09802c9ce2442c2b25f3a6997db4dc49503bc2a1..54056b34c21a75752e998866d54cf5dfbd4f6bcc 100644 (file)
--- 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