Hopefully fix CI build fail here too.

SteveGilham · Sep 24, 2023 · fccb948 · fccb948
1 parent 7d9e8f3
commit fccb948
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/Build/actions.fs b/Build/actions.fs
@@ -400,7 +400,12 @@ using System.Runtime.CompilerServices;
     Assert.That(result.ExitCode, Is.EqualTo 0, msg)
 
   let Run (file, dir, args) msg =
-    CreateProcess.fromRawCommand file args
+    CreateProcess.fromRawCommand
+      file
+      (if isNull args then
+         Seq.empty<string>
+       else
+         args)
     |> CreateProcess.withWorkingDirectory dir
     |> CreateProcess.withFramework
     |> Proc.run