diff options
Diffstat (limited to '020run.cc')
| -rw-r--r-- | 020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index d70577ea..c4df88bd 100644 --- a/020run.cc +++ b/020run.cc @@ -451,7 +451,7 @@ bool Run_profiler = false; // name of a recipe. // // One drawback: if you're clearing recipes your profile will be inaccurate. -// So far that happens in tests, and in `run-sandboxed` in a later layer. +// So far that happens in tests, and in 'run-sandboxed' in a later layer. map<recipe_ordinal, int> Instructions_running; :(before "End Commandline Options(*arg)") else if (is_equal(*arg, "--profile")) { |