Fixed verb handling in Go

dafny-lang · Sep 2, 2022 · c0cfb9e · c0cfb9e
1 parent 440f0a5
commit c0cfb9e
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/Source/Dafny/Compilers/Compiler-go.cs b/Source/Dafny/Compilers/Compiler-go.cs
@@ -3568,9 +3568,9 @@ private bool SendToNewGoProcess(string dafnyProgramName, string targetFilename,
         }
       }
 
-      string verb;
+      List<string> verb = new();
       if (run) {
-        verb = "run";
+        verb.Add("run");
       } else {
         string output;
         var outputToFile = !DafnyOptions.O.RunAfterCompile;
@@ -3605,7 +3605,9 @@ private bool SendToNewGoProcess(string dafnyProgramName, string targetFilename,
           }
         }
 
-        verb = string.Format("build -o \"{0}\"", output);
+        verb.Add("build");
+        verb.Add("-o");
+        verb.Add(output);
       }
 
       var psi = new ProcessStartInfo("go") {
@@ -3615,7 +3617,9 @@ private bool SendToNewGoProcess(string dafnyProgramName, string targetFilename,
         RedirectStandardOutput = false,
         RedirectStandardError = false,
       };
-      psi.ArgumentList.Add(verb);
+      foreach (var verbArg in verb) {
+        psi.ArgumentList.Add(verbArg);
+      }
       psi.ArgumentList.Add(targetFilename);
       foreach (var arg in DafnyOptions.O.MainArgs) {
         psi.ArgumentList.Add(arg);