diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/tracing.txt | 5 |
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 |