From 7d07cd1de8d731c82b6acc2817bb219227d36fc2 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Fri, 1 Sep 2017 01:50:10 -0700
Subject: 3987

---
 020run.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '020run.cc')

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")) {
-- 
cgit 1.4.1-2-gfad0