From 5c18eb6bb54242d61fd03aa781e20f91c8c30d72 Mon Sep 17 00:00:00 2001 From: Andrew Burgess Date: Fri, 22 Sep 2023 11:04:44 +0100 Subject: gdb: some additional filename styling Fix up another couple of places where we can apply filename styling. Approved-By: Tom Tromey --- gdb/source.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gdb/source.c') 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: -- cgit v1.1