diff options
Diffstat (limited to 'Utility')
| -rw-r--r-- | Utility/Path.hs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Utility/Path.hs b/Utility/Path.hs index 6172629a5..e44975a1e 100644 --- a/Utility/Path.hs +++ b/Utility/Path.hs @@ -252,25 +252,6 @@ dotfile file where f = takeFileName file -{- Converts a DOS style path to a Cygwin style path. Only on Windows. - - Any trailing '\' is preserved as a trailing '/' -} -toCygPath :: FilePath -> FilePath -#ifndef mingw32_HOST_OS -toCygPath = id -#else -toCygPath p - | null drive = recombine parts - | otherwise = recombine $ "/cygdrive" : driveletter drive : parts - where - (drive, p') = splitDrive p - parts = splitDirectories p' - driveletter = map toLower . takeWhile (/= ':') - recombine = fixtrailing . Posix.joinPath - fixtrailing s - | hasTrailingPathSeparator p = Posix.addTrailingPathSeparator s - | otherwise = s -#endif - {- Converts a DOS style path to a msys2 style path. Only on Windows. - Any trailing '\' is preserved as a trailing '/' - |