diff options
| author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-07-19 23:30:11 +0000 |
|---|---|---|
| committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-07-19 23:30:11 +0000 |
| commit | 482022f5bf79d6fe2b85d901779d32c9601e4221 (patch) | |
| tree | 47be43dc493eb1b1fe9c727c43fea03a1b747375 /gdb/infcmd.c | |
| parent | 2903e031c7b33e07b2898ff85d1b6c9be230da50 (diff) | |
| download | gdb-482022f5bf79d6fe2b85d901779d32c9601e4221.tar.gz | |
import gdb-1999-07-19 snapshot
Diffstat (limited to 'gdb/infcmd.c')
| -rw-r--r-- | gdb/infcmd.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/infcmd.c b/gdb/infcmd.c index a3807deaa63..297b2a0b9bc 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -244,8 +244,8 @@ run_command (args, from_tty) if (inferior_pid != 0 && target_has_execution) { - if ( - !query ("The program being debugged has been started already.\n\ + if (from_tty + && !query ("The program being debugged has been started already.\n\ Start it from the beginning? ")) error ("Program not restarted."); target_kill (); |