diff options
Diffstat (limited to 'gdb/gdbarch.c')
| -rw-r--r-- | gdb/gdbarch.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gdb/gdbarch.c b/gdb/gdbarch.c index 88862c44c8c..b3d82840579 100644 --- a/gdb/gdbarch.c +++ b/gdb/gdbarch.c @@ -601,27 +601,13 @@ verify_gdbarch (struct gdbarch *gdbarch) void gdbarch_dump (struct gdbarch *gdbarch, struct ui_file *file) { - const char *gdb_xm_file = "<not-defined>"; const char *gdb_nm_file = "<not-defined>"; - const char *gdb_tm_file = "<not-defined>"; -#if defined (GDB_XM_FILE) - gdb_xm_file = GDB_XM_FILE; -#endif - fprintf_unfiltered (file, - "gdbarch_dump: GDB_XM_FILE = %s\n", - gdb_xm_file); #if defined (GDB_NM_FILE) gdb_nm_file = GDB_NM_FILE; #endif fprintf_unfiltered (file, "gdbarch_dump: GDB_NM_FILE = %s\n", gdb_nm_file); -#if defined (GDB_TM_FILE) - gdb_tm_file = GDB_TM_FILE; -#endif - fprintf_unfiltered (file, - "gdbarch_dump: GDB_TM_FILE = %s\n", - gdb_tm_file); fprintf_unfiltered (file, "gdbarch_dump: addr_bit = %s\n", paddr_d (gdbarch->addr_bit)); |