From: Jim Kingdon <jkingdon@engr.sgi.com>
Date: Mon, 13 Sep 1993 23:06:17 +0000 (+0000)
Subject: add comment
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=02ff0cd370fe5cfab21428324cf311088e91fb6c;p=binutils-gdb.git

add comment
---

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index ca5b00fed49..c0c5b7d2436 100644
--- 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 (