try breaking it first

leanprover · Jun 20, 2024 · ef3d5be · ef3d5be
1 parent 6d42240
commit ef3d5be
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/runtime/process.cpp b/src/runtime/process.cpp
@@ -162,9 +162,9 @@ static obj_res spawn(string_ref const & proc_name, array_ref<string_ref> const &
     std::string program = proc_name.to_std_string();
 
     // Always escape program in cmdline, in case it contains spaces
-    std::string command = "\"";
+    //std::string command = "\"";
     command += program;
-    command += "\"";
+    //command += "\"";
 
     // This needs some thought, on Windows we must pass a command string
     // which is a valid command, that is a fully assembled command to be executed.