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/source.c | |
| 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/source.c')
| -rw-r--r-- | gdb/source.c | 3 |
1 files changed, 2 insertions, 1 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: |