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/target.c | |
parent | 2903e031c7b33e07b2898ff85d1b6c9be230da50 (diff) | |
download | gdb-482022f5bf79d6fe2b85d901779d32c9601e4221.tar.gz |
import gdb-1999-07-19 snapshot
Diffstat (limited to 'gdb/target.c')
-rw-r--r-- | gdb/target.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/target.c b/gdb/target.c index 9ba43fdfd6c..3c18b40c746 100644 --- a/gdb/target.c +++ b/gdb/target.c @@ -962,7 +962,8 @@ target_preopen (from_tty) if (target_has_execution) { - if (query ("A program is being debugged already. Kill it? ")) + if (!from_tty + || query ("A program is being debugged already. Kill it? ")) target_kill (); else error ("Program not killed."); |