(target_ptr_bit, set_target_ptr_bit): Deleted, can no longer set this
authorDavid Edelsohn <dje.gcc@gmail.com>
Sun, 20 Mar 1994 23:11:16 +0000 (23:11 +0000)
committerDavid Edelsohn <dje.gcc@gmail.com>
Sun, 20 Mar 1994 23:11:16 +0000 (23:11 +0000)
at run time.

gdb/sp64-tdep.c

index e1bebff71d716d458e0756f78e3928b0de34a063..d676112b20784bec1fa2e41faa333b36a240334d 100644 (file)
@@ -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;
-}