diff options
author | Jan Vrany <jan.vrany@labware.com> | 2020-10-09 06:47:30 +0100 |
---|---|---|
committer | Jan Vrany <jan.vrany@labware.com> | 2020-10-09 06:49:33 +0100 |
commit | f5c4b229c67d9ef2e79ba86432a409a8f506b3f6 (patch) | |
tree | fe70465e3822b6015053b3ef2c34660ed44585f9 /gdb/source.c | |
parent | b270168504d91292ec7089056ce32c68ad6c28a7 (diff) | |
download | gdb-f5c4b229c67d9ef2e79ba86432a409a8f506b3f6.zip gdb-f5c4b229c67d9ef2e79ba86432a409a8f506b3f6.tar.gz gdb-f5c4b229c67d9ef2e79ba86432a409a8f506b3f6.tar.bz2 |
Notify observers that directories have changed when using "directory" CLI command
gdb/ChangeLog
* source.c (directory_command): Notify observers that "directories"
parameter has changed.
gdb/testsuite/ChangeLog
* gdb.mi/mi-cmd-param-changed.exp: Check that notification is
is emmited for both 'set directories' and 'directory' commands.
Diffstat (limited to 'gdb/source.c')
-rw-r--r-- | gdb/source.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gdb/source.c b/gdb/source.c index 0c2b5a4..a73a31f 100644 --- a/gdb/source.c +++ b/gdb/source.c @@ -446,6 +446,7 @@ init_source_path (void) static void directory_command (const char *dirname, int from_tty) { + bool value_changed = false; dont_repeat (); /* FIXME, this goes to "delete dir"... */ if (dirname == 0) @@ -454,15 +455,21 @@ directory_command (const char *dirname, int from_tty) { xfree (source_path); init_source_path (); + value_changed = true; } } else { mod_path (dirname, &source_path); forget_cached_source_info (); + value_changed = true; + } + if (value_changed) + { + gdb::observers::command_param_changed.notify ("directories", source_path); + if (from_tty) + show_directories_1 ((char *) 0, from_tty); } - if (from_tty) - show_directories_1 ((char *) 0, from_tty); } /* Add a path given with the -d command line switch. |