gdb/infrun: add debug print in print_signal_received_reason

It would have helped me to see an infrun debug line being printed from
print_signal_received_reason, so I'm adding one.

diff --git a/gdb/infrun.c b/gdb/infrun.c
index 1a2ef2d078b5a837539f3701d9af1a704c376e3f..edfb5ab0a91f47b1e4f86814f22eae1abbdc8a1a 100644 (file)
--- a/gdb/infrun.c
+++ b/gdb/infrun.c
@@ -8358,6 +8358,8 @@ print_signal_received_reason (struct ui_out *uiout, enum gdb_signal siggnal)
 {
   struct thread_info *thr = inferior_thread ();
 
+  infrun_debug_printf ("signal = %s", gdb_signal_to_string (siggnal));
+
   annotate_signal ();
 
   if (uiout->is_mi_like_p ())