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 /tests/example_filesystems/v1.3-reverse/status.txt | |
parent | 22820bcd76a781d09ce82f6e734013d55afc1e5c (diff) |
Add "-trace" flag (record execution trace)
Uses the runtime/trace functionality.
TODO: add to man page.
Diffstat (limited to 'tests/example_filesystems/v1.3-reverse/status.txt')
0 files changed, 0 insertions, 0 deletions