diff options
| author | Andrew Burgess <aburgess@redhat.com> | 2023-09-22 11:04:44 +0100 |
|---|---|---|
| committer | Andrew Burgess <aburgess@redhat.com> | 2023-10-05 12:21:45 +0100 |
| commit | 5c18eb6bb54242d61fd03aa781e20f91c8c30d72 (patch) | |
| tree | 37d0aef5cadfa21ad97e7aa743b3dfe8980838d0 /gdb | |
| parent | 41ef7afa97212aa219b90b72c4f363eac0aaae40 (diff) | |
| download | gdb-5c18eb6bb54242d61fd03aa781e20f91c8c30d72.zip gdb-5c18eb6bb54242d61fd03aa781e20f91c8c30d72.tar.gz gdb-5c18eb6bb54242d61fd03aa781e20f91c8c30d72.tar.bz2 | |
gdb: some additional filename styling
Fix up another couple of places where we can apply filename styling.
Approved-By: Tom Tromey <tom@tromey.com>
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/source.c | 3 | ||||
| -rw-r--r-- | gdb/symfile.c | 5 |
2 files changed, 5 insertions, 3 deletions
diff --git a/gdb/source.c b/gdb/source.c index 9c701e8..5bdd729 100644 --- a/gdb/source.c +++ b/gdb/source.c @@ -594,7 +594,8 @@ add_path (const char *dirname, char **which_path, int parse_separators) print_sys_errmsg (name, save_errno); } else if ((st.st_mode & S_IFMT) != S_IFDIR) - warning (_("%s is not a directory."), name); + warning (_("%ps is not a directory."), + styled_string (file_name_style.style (), name)); } append: diff --git a/gdb/symfile.c b/gdb/symfile.c index cc35a53..0338825 100644 --- a/gdb/symfile.c +++ b/gdb/symfile.c @@ -2488,8 +2488,9 @@ reread_symbols (int from_tty) if (res != 0) { /* FIXME, should use print_sys_errmsg but it's not filtered. */ - gdb_printf (_("`%s' has disappeared; keeping its symbols.\n"), - objfile_name (objfile)); + gdb_printf (_("`%ps' has disappeared; keeping its symbols.\n"), + styled_string (file_name_style.style (), + objfile_name (objfile))); continue; } time_t new_modtime = new_statbuf.st_mtime; |