Fix windows
This commit is contained in:
parent
5741e069ad
commit
b5fb8772fe
@ -295,15 +295,15 @@ deleteFile = WS.deleteFile
|
|||||||
|
|
||||||
|
|
||||||
install :: FilePath -> FilePath -> Bool -> IO ()
|
install :: FilePath -> FilePath -> Bool -> IO ()
|
||||||
install = moveFile
|
install = copyFile
|
||||||
|
|
||||||
|
|
||||||
moveFile :: FilePath -> FilePath -> IO ()
|
moveFile :: FilePath -> FilePath -> IO ()
|
||||||
moveFile from to = Win32.moveFileEx from (Just to) 0
|
moveFile from to = WS.moveFileEx from (Just to) 0
|
||||||
|
|
||||||
|
|
||||||
moveFilePortable :: FilePath -> FilePath -> IO ()
|
moveFilePortable :: FilePath -> FilePath -> IO ()
|
||||||
moveFilePortable = Win32.moveFile
|
moveFilePortable = WS.moveFile
|
||||||
|
|
||||||
|
|
||||||
removeEmptyDirectory :: FilePath -> IO ()
|
removeEmptyDirectory :: FilePath -> IO ()
|
||||||
|
Loading…
Reference in New Issue
Block a user