2011-05-26 Pedro Alves <pedro@codesourcery.com>

gdb/
	* infcmd.c (finish_command): Allow async finish in reverse.
This commit is contained in:
Pedro Alves 2011-05-26 16:11:45 +00:00
parent 6938fd346a
commit c13bd2b52e
2 changed files with 4 additions and 4 deletions

View File

@ -1,3 +1,7 @@
2011-05-26 Pedro Alves <pedro@codesourcery.com>
* infcmd.c (finish_command): Allow async finish in reverse.
2011-05-26 Yao Qi <yao@codesourcery.com>
* gdb_thread_db.h: Delete. Move to ...

View File

@ -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 ())