gdb: some additional filename styling

Fix up another couple of places where we can apply filename styling.

Approved-By: Tom Tromey <tom@tromey.com>
This commit is contained in:
Andrew Burgess 2023-09-22 11:04:44 +01:00
parent 41ef7afa97
commit 5c18eb6bb5
2 changed files with 5 additions and 3 deletions

View file

@ -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:

View file

@ -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;