diff options
Diffstat (limited to 'packaging/MacSDK/patches/fsharp-path-overloads.patch')
-rw-r--r-- | packaging/MacSDK/patches/fsharp-path-overloads.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/packaging/MacSDK/patches/fsharp-path-overloads.patch b/packaging/MacSDK/patches/fsharp-path-overloads.patch deleted file mode 100644 index 87b11450edb..00000000000 --- a/packaging/MacSDK/patches/fsharp-path-overloads.patch +++ /dev/null @@ -1,22 +0,0 @@ -diff --git a/src/scripts/scriptlib.fsx b/src/scripts/scriptlib.fsx -index cc797e305..ae8a6d3cc 100644 ---- a/src/scripts/scriptlib.fsx -+++ b/src/scripts/scriptlib.fsx -@@ -59,12 +59,12 @@ module Scripting = - - let (++) a b = Path.Combine(a,b) - -- let getBasename a = Path.GetFileNameWithoutExtension a -- let getFullPath a = Path.GetFullPath a -- let getFilename a = Path.GetFileName a -- let getDirectoryName a = Path.GetDirectoryName a -+ let getBasename (path: string) = Path.GetFileNameWithoutExtension path -+ let getFullPath (path: string) = Path.GetFullPath path -+ let getFilename (path: string) = Path.GetFileName path -+ let getDirectoryName (path: string) = Path.GetDirectoryName path - -- let copyFile source dir = -+ let copyFile (source: string) dir = - let dest = - if not (Directory.Exists dir) then Directory.CreateDirectory dir |>ignore - let result = Path.Combine(dir, Path.GetFileName source) |