(target_ptr_bit, set_target_ptr_bit): Deleted, can no longer set this

at run time.

diff --git a/gdb/sp64-tdep.c b/gdb/sp64-tdep.c
index e1bebff71d716d458e0756f78e3928b0de34a063..d676112b20784bec1fa2e41faa333b36a240334d 100644 (file)
--- a/gdb/sp64-tdep.c
+++ b/gdb/sp64-tdep.c
@@ -286,15 +286,3 @@ sparc_print_register_hook (regno)
       dump_ccreg ("icc", ccr & 15);
     }
 }
-
-/* We try to support 32 bit and 64 bit pointers.
-   We are called when the Shade target is selected by shadeif.c.  */
-
-int target_ptr_bit = 64;       /* default */
-
-void
-set_target_ptr_bit(ptr_bit)
-     int ptr_bit;
-{
-  target_ptr_bit = ptr_bit;
-}