diff options
Diffstat (limited to 'config_help.txt')
| -rw-r--r-- | config_help.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config_help.txt b/config_help.txt index 08c2e7627f..5c57e30d63 100644 --- a/config_help.txt +++ b/config_help.txt @@ -119,6 +119,11 @@ Build options: -testcocoon .......... Instrument with the TestCocoon code coverage tool [no] -gcov ................ Instrument with the GCov code coverage tool [no] + + -trace [backend] ..... Enable instrumentation with tracepoints. + Currently supported backends are 'etw' (Windows) and + 'lttng' (Linux), or 'yes' for auto-detection. [no] + -sanitize {address|thread|memory|undefined} Instrument with the specified compiler sanitizer. |