diff options
| author | Jakob Unterwurzacher | 2017-06-05 22:45:11 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2017-06-07 22:09:06 +0200 |
| commit | 71978ec88a2aa8ec92df080a4a6becf623957c81 (patch) | |
| tree | dee06235a540e7188a6defc6f2bc6057cd000af5 /.gitignore | |
| parent | 22820bcd76a781d09ce82f6e734013d55afc1e5c (diff) | |
Add "-trace" flag (record execution trace)
Uses the runtime/trace functionality.
TODO: add to man page.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions