[Bug record/19772] New: =record-started should specify the type of recording

["marc.khouzam at ericsson dot com" <sourceware-bugzilla at sourceware dot org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=19772

            Bug ID: 19772
           Summary: =record-started should specify the type of recording
           Product: gdb
           Version: 7.11
            Status: NEW
          Severity: normal
          Priority: P2
         Component: record
          Assignee: unassigned at sourceware dot org
          Reporter: marc.khouzam at ericsson dot com
                CC: simon.marchi at ericsson dot com
  Target Milestone: ---

With GDB supporting 'record full', 'record btrace bts' and 'record btrace pt',
the =record-started MI event should have an extra field to specify which type
of recording was started.

Currently, when receiving =record-started, a frontend must send a 'info record'
command and parse it to figure out which record is being used.

-- 
You are receiving this mail because:
You are on the CC list for the bug.