diff options
| author | Michael Snyder <msnyder@vmware.com> | 2008-03-10 20:53:29 +0000 |
|---|---|---|
| committer | Michael Snyder <msnyder@vmware.com> | 2008-03-10 20:53:29 +0000 |
| commit | 80618b999399dec830e3f13d0e304f54641f5894 (patch) | |
| tree | ae95dbbbb72b5cf2f71e1ac07533360493a9cc59 /gdb/source.c | |
| parent | 22566fbd5b14838680980b9478c24e3aac161976 (diff) | |
| download | gdb-80618b999399dec830e3f13d0e304f54641f5894.zip gdb-80618b999399dec830e3f13d0e304f54641f5894.tar.gz gdb-80618b999399dec830e3f13d0e304f54641f5894.tar.bz2 | |
2008-03-06 Hidetaka Takano <hidetaka.takano@glb.toshiba.co.jp>
* source.c (directory_command): Modify the determination of
condition of terminal "from_tty".
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 4ed4ec0..7cbd55f 100644 --- a/gdb/source.c +++ b/gdb/source.c @@ -369,7 +369,7 @@ directory_command (char *dirname, int from_tty) /* FIXME, this goes to "delete dir"... */ if (dirname == 0) { - if (from_tty && query (_("Reinitialize source path to empty? "))) + if (!from_tty || query (_("Reinitialize source path to empty? "))) { xfree (source_path); init_source_path (); |