import gdb-1999-07-05 snapshot
This commit is contained in:
parent
f11523b013
commit
43ff13b418
41 changed files with 1885 additions and 789 deletions
|
@ -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 ();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue