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 --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index c777e91b7e416f905852ee80b2f763783f4d8708..9517627d2f9a685e1de70669f93f3ab2183d6490 100644 (file)
--- 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 56cd59a0411a9bc5167bcd1ae2e9c20992223f60..d4196261475171bf69081b32bf0f653eebc093ef 100644 (file)
--- 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}.