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

	gdb/
	* infcmd.c (finish_command): Allow async finish in reverse.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ad46da1c4f5651d519025f7bc0545cfbe6b3e3a8..ebbf3f5a077675526c712a91f1338814cccaf14e 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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 ...

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index 4baeebabf889804d8b4b5b1a94c2d9f7743a1eb9..e95f7536282a555651080f74b69e7b295d4fb34c 100644 (file)
--- 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 ())