add comment

1993-09-13 23:06:17 +00:00 · 1993-09-13 23:06:17 +00:00 · 02ff0cd370
parent 66eca5ee10
commit 02ff0cd370
1 changed files with 1 additions and 0 deletions
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@ -211,6 +211,7 @@ run_command (args, from_tty)

  dont_repeat ();

+  /* Shouldn't this be target_has_execution?  FIXME.  */
  if (inferior_pid)
    {
      if (