diff options
Diffstat (limited to 'gdb/infcmd.c')
| -rw-r--r-- | gdb/infcmd.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 4baeeba..e95f753 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -1639,10 +1639,6 @@ finish_command (char *arg, int from_tty) if (async_exec && !target_can_async_p ()) error (_("Asynchronous execution not supported on this target.")); - /* Don't try to async in reverse. */ - if (async_exec && execution_direction == EXEC_REVERSE) - error (_("Asynchronous 'finish' not supported in reverse.")); - /* If we are not asked to run in the bg, then prepare to run in the foreground, synchronously. */ if (!async_exec && target_can_async_p ()) |