diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-09-01 01:50:10 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-09-01 01:50:10 -0700 |
commit | 7d07cd1de8d731c82b6acc2817bb219227d36fc2 (patch) | |
tree | c5a7bdbf3aa1201a5463cf2dc48a62650368962b /020run.cc | |
parent | 53930831c4185c5ccb56864c881acf6d67dd1bd1 (diff) | |
download | mu-7d07cd1de8d731c82b6acc2817bb219227d36fc2.tar.gz |
3987
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")) { |