diff options
| author | Tom Tromey <tom@tromey.com> | 2021-12-31 11:44:19 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2022-03-28 14:13:28 -0600 |
| commit | 3c6c449e304413f513db5635abd2181776f7db92 (patch) | |
| tree | 5893f61deb6f79f3c3107c06c961ccc4cad8bb49 /gdb/utils.h | |
| parent | 8b1931b39443acab9d1f8272a8a81b261f7ef29b (diff) | |
| download | binutils-3c6c449e304413f513db5635abd2181776f7db92.zip binutils-3c6c449e304413f513db5635abd2181776f7db92.tar.gz binutils-3c6c449e304413f513db5635abd2181776f7db92.tar.bz2 | |
Add new timestamped_file class
This adds a "timestamped_file" subclass of ui_file. This class adds a
timestamp to its output when appropriate. That is, it follows the
rule already used in vfprintf_unfiltered of adding a timestamp at most
once per write.
The new class is not yet used.
Diffstat (limited to 'gdb/utils.h')
| -rw-r--r-- | gdb/utils.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/utils.h b/gdb/utils.h index d608001..2cd0cff 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -185,6 +185,9 @@ extern int get_chars_per_line (); extern bool pagination_enabled; +/* A flag indicating whether to timestamp debugging messages. */ +extern bool debug_timestamp; + extern struct ui_file **current_ui_gdb_stdout_ptr (void); extern struct ui_file **current_ui_gdb_stdin_ptr (void); extern struct ui_file **current_ui_gdb_stderr_ptr (void); |