[binutils-gdb] Document -ctf switch of -trace-save

[Simon Marchi <simark at sourceware dot org>]

https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=99e61edafe27b4949f9d6c49a016d9a18bc5d917

commit 99e61edafe27b4949f9d6c49a016d9a18bc5d917
Author: Simon Marchi <simon.marchi@ericsson.com>
Date:   Fri Oct 14 11:39:16 2016 -0400

    Document -ctf switch of -trace-save
    
    The -trace-save MI command supports saving the trace in the CTF format,
    as its CLI counterpart, but it's not documented.
    
    gdb/doc/ChangeLog:
    
    	* gdb.texinfo (GDB/MI Tracepoint Commands): Document -ctf switch
    	of -trace-save.

Diff:
---
 gdb/doc/ChangeLog   | 5 +++++
 gdb/doc/gdb.texinfo | 6 +++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index c777e91..9517627 100644
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2016-10-14  Simon Marchi  <simon.marchi@ericsson.com>
+
+	* gdb.texinfo (GDB/MI Tracepoint Commands): Document -ctf switch
+	of -trace-save.
+
 2016-10-06  Tom Tromey  <tom@tromey.com>
 
 	* guile.texi (Types In Guile): Remove Java mentions.
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 56cd59a..d419626 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -30934,7 +30934,7 @@ body=[variable=@{name="$trace_timestamp",initial="0"@}
 @subsubheading Synopsis
 
 @smallexample
- -trace-save [-r ] @var{filename}
+ -trace-save [ -r ] [ -ctf ] @var{filename}
 @end smallexample
 
 Saves the collected trace data to @var{filename}.  Without the
@@ -30942,6 +30942,10 @@ Saves the collected trace data to @var{filename}.  Without the
 in a local file.  With the @samp{-r} option the target is asked
 to perform the save.
 
+By default, this command will save the trace in the tfile format.  You can
+supply the optional @samp{-ctf} argument to save it the CTF format. See
+@ref{Trace Files} for more information about CTF.
+
 @subsubheading @value{GDBN} Command
 
 The corresponding @value{GDBN} command is @samp{tsave}.