diff options
| -rw-r--r-- | gdb/record.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gdb/record.c b/gdb/record.c index 5277d2d866d..9cae48b3ffd 100644 --- a/gdb/record.c +++ b/gdb/record.c @@ -173,6 +173,13 @@ record_list_release_first (void) static void record_arch_list_add (record_t * rec) { + if (record_debug > 1) + { + fprintf_unfiltered (gdb_stdlog, + "Process record: record_arch_list_add 0x%s.\n", + paddr_nz ((CORE_ADDR)rec)); + } + if (record_arch_list_tail) { record_arch_list_tail->next = rec; |