From c13bd2b52eedbea982bb19b37dc52626001a11b0 Mon Sep 17 00:00:00 2001 From: Pedro Alves Date: Thu, 26 May 2011 16:11:45 +0000 Subject: 2011-05-26 Pedro Alves gdb/ * infcmd.c (finish_command): Allow async finish in reverse. --- gdb/infcmd.c | 4 ---- 1 file changed, 4 deletions(-) (limited to 'gdb/infcmd.c') 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 ()) -- cgit v1.1