diff options
author | Joey Hess <joey@kitenet.net> | 2013-05-21 13:03:46 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-05-21 13:03:46 -0400 |
commit | 75002b45b04961beca948dda19b9ab6439953001 (patch) | |
tree | 60a51d478464babced2b4471b18dbe846e8ac604 /Utility/Directory.hs | |
parent | 75638200a08e25333530946597e30b8ae74743c4 (diff) |
better nukefile
Fixed handling of case when file does not exist to work like it did before,
and avoid an excess stat call.
Diffstat (limited to 'Utility/Directory.hs')
-rw-r--r-- | Utility/Directory.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Utility/Directory.hs b/Utility/Directory.hs index 0a7690b44..13e6168cb 100644 --- a/Utility/Directory.hs +++ b/Utility/Directory.hs @@ -93,8 +93,10 @@ moveFile src dest = tryIO (rename src dest) >>= onrename - Note that an exception is thrown if the file exists but - cannot be removed. -} nukeFile :: FilePath -> IO () +nukeFile file = void $ tryWhenExists go + where #ifndef mingw32_HOST_OS -nukeFile = removeLink + go = removeLink file #else -nukeFile = removeFile + go = removeFile file #endif |