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 b7088957..053079f7 100644 --- a/001help.cc +++ b/001help.cc @@ -36,6 +36,9 @@ if (argc <= 1 || is_equal(argv[1], "--help")) { << " mu test directory1 directory2 ...\n" << " To pass ingredients to a mu program, provide them after '--':\n" << " mu file_or_dir1 file_or_dir2 ... -- ingredient1 ingredient2 ...\n" + << " 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" << "\n" << " To browse a trace generated by a previous run:\n" << " mu browse-trace file\n" |