diff options
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 (); |