summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorFabien Chouteau <chouteau@adacore.com>2011-01-27 10:24:41 +0100
committerBlue Swirl <blauwirbel@gmail.com>2011-01-29 22:52:00 +0000
commit320fba2a1f384e17db150d74540a2cf005eb47b5 (patch)
tree1d87da9f4471ae7ae892daffc7b0439759a9ffcb /docs
parent491e2a338fdf8310c84f6ebaed1683a871a0700e (diff)
New trace-event backend: stderr
This backend sends trace events to standard error output during the emulation. Also add a "--list-backends" option to tracetool, so configure script can display the list of available backends. Signed-off-by: Fabien Chouteau <chouteau@adacore.com> Acked-by: Stefan Hajnoczi <stefanha@linux.vnet.ibm.com> Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Diffstat (limited to 'docs')
-rw-r--r--docs/tracing.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/tracing.txt b/docs/tracing.txt
index 963c5047fe..21183f9a68 100644
--- a/docs/tracing.txt
+++ b/docs/tracing.txt
@@ -133,6 +133,11 @@ source tree. It may not be as powerful as platform-specific or third-party
trace backends but it is portable. This is the recommended trace backend
unless you have specific needs for more advanced backends.
+=== Stderr ===
+
+The "stderr" backend sends trace events directly to standard error output
+during emulation.
+
==== Monitor commands ====
* info trace