diff options
| -rw-r--r-- | gdb/infcmd.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/infcmd.c b/gdb/infcmd.c index ca5b00f..c0c5b7d 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 ( |