update mono check

fsprojects · Dec 3, 2016 · cd6d161 · cd6d161
1 parent 65b29e7
commit cd6d161
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Paket.Core/GitCommandHelper.fs b/src/Paket.Core/GitCommandHelper.fs
@@ -15,7 +15,7 @@ let mutable monoArguments = ""
 
 /// Modifies the ProcessStartInfo according to the platform semantics
 let platformInfoAction (psi : ProcessStartInfo) = 
-    if isMono && psi.FileName.EndsWith ".exe" then 
+    if isMonoRuntime && psi.FileName.EndsWith ".exe" then 
         psi.Arguments <- monoArguments + " " + psi.FileName + " " + psi.Arguments
         psi.FileName <- monoPath
 /// Specifies a global timeout for git.exe - default is *no timeout*
@@ -134,7 +134,7 @@ let startedProcesses = HashSet()
 
 /// [omit]
 let start (proc : Process) = 
-    if isMono && proc.StartInfo.FileName.ToLowerInvariant().EndsWith(".exe") then
+    if isMonoRuntime && proc.StartInfo.FileName.ToLowerInvariant().EndsWith(".exe") then
         proc.StartInfo.Arguments <- "--debug \"" + proc.StartInfo.FileName + "\" " + proc.StartInfo.Arguments
         proc.StartInfo.FileName <- monoPath
 

diff --git a/src/Paket.Core/Utils.fs b/src/Paket.Core/Utils.fs
@@ -302,8 +302,8 @@ let isMatchingOperatingSystem (operatingSystemFilter : string option) =
 let isMatchingPlatform (operatingSystemFilter : string option) =
     match operatingSystemFilter with
     | None -> true
-    | Some filter when filter = "mono" -> isMono
-    | Some filter when filter = "windows" -> not isMono
+    | Some filter when filter = "mono" -> isMonoRuntime
+    | Some filter when filter = "windows" -> not isMonoRuntime
     | _ -> isMatchingOperatingSystem operatingSystemFilter
 
 /// [omit]