GDBARCH interface for process record and replay.
authorHui Zhu <teawater@gmail.com>
Thu, 30 Apr 2009 02:52:16 +0000 (02:52 +0000)
committerHui Zhu <teawater@gmail.com>
Thu, 30 Apr 2009 02:52:16 +0000 (02:52 +0000)
commit0508c3ec4d3efe99aa7edf201f81b34edb74a5ad
treef892adca86225685d10ce31dc5e15f42cd8c684c
parent96c23d596607cc7143e0ea1f4fee260977aec18b
GDBARCH interface for process record and replay.

* gdbarch.sh (process_record): This interface point to the
function that records the inferior execute log.
gdb/gdbarch.c
gdb/gdbarch.h
gdb/gdbarch.sh