@@ -60,15 +60,15 @@ module Scripting =
6060
6161let (++) a b = Path.Combine( a, b)
6262
63- let getBasename a = Path.GetFileNameWithoutExtension a
64- let getFullPath a = Path.GetFullPath a
65- let getFilename a = Path.GetFileName a
66- let getDirectoryName a = Path.GetDirectoryName a
63+ let getBasename ( a : string ) = Path.GetFileNameWithoutExtension( a )
64+ let getFullPath a = Path.GetFullPath( a )
65+ let getFilename ( a : string ) = Path.GetFileName( a )
66+ let getDirectoryName ( a : string ) = Path.GetDirectoryName( a )
6767
6868let copyFile source dir =
6969let dest =
7070if not ( Directory.Exists dir) then Directory.CreateDirectory dir|> ignore
71- let result = Path.Combine( dir, Path.GetFileName source)
71+ let result = Path.Combine( dir, getFilename source)
7272 result
7373//printfn "Copy %s --> %s" source dest
7474 File.Copy( source, dest, true )
@@ -96,7 +96,7 @@ module Scripting =
9696let processExePath baseDir exe =
9797if Path.IsPathRooted( exe) then exe
9898else
99- match Path.GetDirectoryName ( exe) with
99+ match getDirectoryName exewith
100100| " " -> exe
101101| _ -> Path.Combine( baseDir, exe) |> Path.GetFullPath
102102