add comment

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