* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush
authorDaniel Jacobowitz <drow@false.org>
Sun, 1 May 2005 23:16:46 +0000 (23:16 +0000)
committerDaniel Jacobowitz <drow@false.org>
Sun, 1 May 2005 23:16:46 +0000 (23:16 +0000)
commit5dbe23a34eba6933db1c79262b3955f60956f3e2
tree9a88ad99d87541110f855d5f8ea38d45cf39bf65
parent87d088f521e334b82696ae4a60817df9b04fde95
* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush
cached frames when changing gdbarch.
* gdbarch.c: Regenerated.
gdb/ChangeLog
gdb/gdbarch.c
gdb/gdbarch.sh