* gdbarch.sh (deprecated_saved_pc_after_call): Delete.
authorMark Kettenis <kettenis@gnu.org>
Sun, 16 Jul 2006 11:03:41 +0000 (11:03 +0000)
committerMark Kettenis <kettenis@gnu.org>
Sun, 16 Jul 2006 11:03:41 +0000 (11:03 +0000)
commitd7b7af6f3a94a8da1f9ca9c94f70fa618d693a31
treed539044740349652f00a993b032de462e776ab3c
parent1cd566a4445b89fd79300cce04b715389623fdad
* gdbarch.sh (deprecated_saved_pc_after_call): Delete.
gdb/ChangeLog
gdb/gdbarch.c
gdb/gdbarch.h
gdb/gdbarch.sh