diff options
| author | Tom Tromey <tom@tromey.com> | 2021-12-24 22:31:53 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2022-01-05 11:36:33 -0700 |
| commit | b58f47ab4cae11166f210f54bca6e7c58b855a0f (patch) | |
| tree | 71a3a29e7574066997f1e5c6ef4df785ad928f98 /gdb/dwarf2/index-cache.c | |
| parent | b68178b9cbbef2aa4e234db4313ac8ba6d1dc04c (diff) | |
| download | gdb-b58f47ab4cae11166f210f54bca6e7c58b855a0f.zip gdb-b58f47ab4cae11166f210f54bca6e7c58b855a0f.tar.gz gdb-b58f47ab4cae11166f210f54bca6e7c58b855a0f.tar.bz2 | |
Use filtered output in ordinary commands
Many otherwise ordinary commands choose to use unfiltered output
rather than filtered. I don't think there's any reason for this, so
this changes many such commands to use filtered output instead.
Note that complete_command is not touched due to a comment there
explaining why unfiltered output is believed to be used.
Diffstat (limited to 'gdb/dwarf2/index-cache.c')
| -rw-r--r-- | gdb/dwarf2/index-cache.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gdb/dwarf2/index-cache.c b/gdb/dwarf2/index-cache.c index 2191e58..fa6b7ab 100644 --- a/gdb/dwarf2/index-cache.c +++ b/gdb/dwarf2/index-cache.c @@ -257,8 +257,8 @@ show_index_cache_command (const char *arg, int from_tty) /* Call all "show index-cache" subcommands. */ cmd_show_list (show_index_cache_prefix_list, from_tty); - printf_unfiltered ("\n"); - printf_unfiltered + printf_filtered ("\n"); + printf_filtered (_("The index cache is currently %s.\n"), global_index_cache.enabled () ? _("enabled") : _("disabled")); } @@ -316,13 +316,13 @@ show_index_cache_stats_command (const char *arg, int from_tty) if (in_show_index_cache_command) { indent = " "; - printf_unfiltered ("\n"); + printf_filtered ("\n"); } - printf_unfiltered (_("%s Cache hits (this session): %u\n"), - indent, global_index_cache.n_hits ()); - printf_unfiltered (_("%sCache misses (this session): %u\n"), - indent, global_index_cache.n_misses ()); + printf_filtered (_("%s Cache hits (this session): %u\n"), + indent, global_index_cache.n_hits ()); + printf_filtered (_("%sCache misses (this session): %u\n"), + indent, global_index_cache.n_misses ()); } void _initialize_index_cache (); |