diff options
-rw-r--r-- | docs/tracing.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tracing.txt b/docs/tracing.txt index a92716f319..c541133368 100644 --- a/docs/tracing.txt +++ b/docs/tracing.txt @@ -9,7 +9,7 @@ for debugging, profiling, and observing execution. 1. Build with the 'simple' trace backend: - ./configure --trace-backend=simple + ./configure --enable-trace-backend=simple make 2. Create a file with the events you want to trace: |