OSDN Git Service

* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush
authorDaniel Jacobowitz <dan@debian.org>
Sun, 1 May 2005 23:16:46 +0000 (23:16 +0000)
committerDaniel Jacobowitz <dan@debian.org>
Sun, 1 May 2005 23:16:46 +0000 (23:16 +0000)
commit8ea5f7aa61ec4329c2d430c19ce8aa1b070f81a1
tree777e3b5ca3ae6db9180bd48916f8700a22716834
parentd39bf40af93e1486dad1f5d70650cae14e171a2d
* gdbarch.sh (deprecated_current_gdbarch_select_hack): Flush
cached frames when changing gdbarch.
* gdbarch.c: Regenerated.
gdb/ChangeLog
gdb/gdbarch.c
gdb/gdbarch.sh