OSDN Git Service

* source.c (forget_cached_source_info): Clear last_source_visited.
authorDaniel Jacobowitz <dan@debian.org>
Tue, 22 Sep 2009 22:33:46 +0000 (22:33 +0000)
committerDaniel Jacobowitz <dan@debian.org>
Tue, 22 Sep 2009 22:33:46 +0000 (22:33 +0000)
commit44a21d728b33afdb0583aad58055833fc85e6c2f
treecb052575aa27f7ebb7b9c0275020eeaaa967952f
parentf435a4500d26aa0bbdb3c23c1aebdf7b77612f53
* source.c (forget_cached_source_info): Clear last_source_visited.
(init_last_source_visited): Delete.
(directory_command): Do not clear last_source_visited.  Call
forget_cached_source_info only if required.
(unset_substitute_path_command, set_substitute_path_command): Call
forget_cached_source_info.
* mi/mi-cmd-env.c (mi_cmd_env_dir): Do not call
init_last_source_visited.
* defs.h (init_last_source_visited): Delete declaration.
gdb/ChangeLog
gdb/defs.h
gdb/mi/mi-cmd-env.c
gdb/source.c