diff options
Diffstat (limited to '001help.cc')
| -rw-r--r-- | 001help.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/001help.cc b/001help.cc index 3cab06d9..78877561 100644 --- a/001help.cc +++ b/001help.cc @@ -39,6 +39,9 @@ if (argc <= 1 || is_equal(argv[1], "--help")) { << " To see where a mu program is spending its time:\n" << " mu --profile file_or_dir1 file_or_dir2 ...\n" << " this slices and dices time spent in various profile.* output files\n" + << " To print out the trace to stderr:\n" + << " mu --dump file1.mu file2.mu ...\n" + << " this is handy when you want to see sandboxed traces alongside the main one\n" << "\n" << " To browse a trace generated by a previous run:\n" << " mu browse-trace file\n" |