diff options
author | Tom Tromey <tromey@redhat.com> | 2013-12-18 20:25:47 -0700 |
---|---|---|
committer | Tom Tromey <tromey@redhat.com> | 2014-02-19 07:48:29 -0700 |
commit | 07366925095c7d091360b92bd686b4dc58ecd4f3 (patch) | |
tree | 65abf5733e470021cd88272a58d206b2aa170531 /gdb/target.h | |
parent | dd2e9d25a1c72cc7695ca8c8060d426c212630a7 (diff) | |
download | gdb-07366925095c7d091360b92bd686b4dc58ecd4f3.zip gdb-07366925095c7d091360b92bd686b4dc58ecd4f3.tar.gz gdb-07366925095c7d091360b92bd686b4dc58ecd4f3.tar.bz2 |
convert to_delete_record
2014-02-19 Tom Tromey <tromey@redhat.com>
* target-delegates.c: Rebuild.
* target.c (target_delete_record): Unconditionally delegate.
* target.h (struct target_ops) <to_delete_record>: Use
TARGET_DEFAULT_NORETURN.
Diffstat (limited to 'gdb/target.h')
-rw-r--r-- | gdb/target.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/target.h b/gdb/target.h index dcac55d..0bce110 100644 --- a/gdb/target.h +++ b/gdb/target.h @@ -1029,7 +1029,8 @@ struct target_ops void (*to_save_record) (struct target_ops *, const char *filename); /* Delete the recorded execution trace from the current position onwards. */ - void (*to_delete_record) (struct target_ops *); + void (*to_delete_record) (struct target_ops *) + TARGET_DEFAULT_NORETURN (tcomplain ()); /* Query if the record target is currently replaying. */ int (*to_record_is_replaying) (struct target_ops *) |