diff options
| author | Jason Molenda <jmolenda@apple.com> | 1999-07-05 17:58:44 +0000 |
|---|---|---|
| committer | Jason Molenda <jmolenda@apple.com> | 1999-07-05 17:58:44 +0000 |
| commit | 43ff13b4182f3853e19e9100c84313a6e9302b70 (patch) | |
| tree | a546b011131cdb9e4d6200dd1f2b9432ffa01539 /gdb/source.c | |
| parent | f11523b01363bac4f0b7384c30fee355e9943b99 (diff) | |
| download | gdb-43ff13b4182f3853e19e9100c84313a6e9302b70.zip gdb-43ff13b4182f3853e19e9100c84313a6e9302b70.tar.gz gdb-43ff13b4182f3853e19e9100c84313a6e9302b70.tar.bz2 | |
import gdb-1999-07-05 snapshot
Diffstat (limited to 'gdb/source.c')
| -rw-r--r-- | gdb/source.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/source.c b/gdb/source.c index 2d80b77..ae5a9d0 100644 --- a/gdb/source.c +++ b/gdb/source.c @@ -276,7 +276,7 @@ directory_command (dirname, from_tty) /* FIXME, this goes to "delete dir"... */ if (dirname == 0) { - if (query ("Reinitialize source path to empty? ")) + if (from_tty && query ("Reinitialize source path to empty? ")) { free (source_path); init_source_path (); |