* gdbarch.sh (process_record): This interface point to the
authorHui Zhu <teawater@gmail.com>
Thu, 30 Apr 2009 02:53:45 +0000 (02:53 +0000)
committerHui Zhu <teawater@gmail.com>
Thu, 30 Apr 2009 02:53:45 +0000 (02:53 +0000)
commit0407e7127b683eb2c97eb8af098396a1bf751ee2
treea221ced3aef3be1e372bf1767c87dcb9e3466981
parent0508c3ec4d3efe99aa7edf201f81b34edb74a5ad
* gdbarch.sh (process_record): This interface point to the
function that records the inferior execute log.
gdb/ChangeLog