diff options
| author | Hafiz Abid Qadeer <abidh@codesourcery.com> | 2013-02-15 09:47:50 +0000 |
|---|---|---|
| committer | Hafiz Abid Qadeer <abidh@codesourcery.com> | 2013-02-15 09:47:50 +0000 |
| commit | f5911ea11965af3dc626c1c6278e45e214fc640c (patch) | |
| tree | d6d6fc3e2716aa10f7e537f4601c8b555d9594e8 /gdb/tracepoint.h | |
| parent | ea33f2818ecc5906736f23dd53a7b4364d29b1c4 (diff) | |
| download | gdb-f5911ea11965af3dc626c1c6278e45e214fc640c.zip gdb-f5911ea11965af3dc626c1c6278e45e214fc640c.tar.gz gdb-f5911ea11965af3dc626c1c6278e45e214fc640c.tar.bz2 | |
2013-02-15 Pedro Alves <pedro@codesourcery.com>
Hafiz Abid Qadeer <abidh@codesourcery.com>
gdb/
* NEWS: Mention new field "trace-file".
* tracepoint.c (trace_status_mi): Output "trace-file" field.
(tfile_open): Record the trace file's filename in the trace
status.
(tfile_files_info): Mention the name of the trace file.
Check the "filename" field explicitely.
(trace_status_command): Explicitely check "filename" field.
(trace_find_command): Ditto.
(trace_find_pc_command): Ditto.
(trace_find_tracepoint_command): Ditto.
(trace_find_line_command): Ditto.
(trace_find_range_command): Ditto.
(trace_find_outside_command): Ditto.
* tracepoint.h (struct trace_status) <from_file>: Rename it
to "filename" and make it hold the trace file's filename
instead of a boolean.
* remote.c (remote_get_trace_status): Initialize "filename"
field with NULL instead of 0.
gdb/doc/
* gdb.texinfo (GDB/MI Tracepoint Commands) <-trace-status>:
Document the "trace-file" field.
gdb/testsuite/
* gdb.trace/tfile.exp: Add test for -trace-status command.
Diffstat (limited to 'gdb/tracepoint.h')
| -rw-r--r-- | gdb/tracepoint.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gdb/tracepoint.h b/gdb/tracepoint.h index 4a3df39..b2b9d7c 100644 --- a/gdb/tracepoint.h +++ b/gdb/tracepoint.h @@ -72,9 +72,9 @@ enum trace_stop_reason struct trace_status { - /* This is true if the status is coming from a file rather - than a live target. */ - int from_file; + /* If the status is coming from a file rather than a live target, + this points at the file's filename. Otherwise, this is NULL. */ + const char *filename; /* This is true if the value of the running field is known. */ int running_known; |