From 02ff0cd370fe5cfab21428324cf311088e91fb6c Mon Sep 17 00:00:00 2001 From: Jim Kingdon Date: Mon, 13 Sep 1993 23:06:17 +0000 Subject: [PATCH] add comment --- gdb/infcmd.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gdb/infcmd.c b/gdb/infcmd.c index ca5b00fed4..c0c5b7d243 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 ( -- 2.34.1