mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

get rid of __WINDOWS__, use mingw32_HOST_OS

Browse source 
The latter is harder for me to remember, but avoids build failures in code
used by the configure program.
This commit is contained in:
Joey Hess 2013-08-02 12:27:32 -04:00
parent 022c3910e9
commit 93f2371e09
24 changed files with 55 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Git/FilePath.hs
View file

@ -44,14 +44,14 @@ asTopFilePath file = TopFilePath file
type InternalGitPath = String
toInternalGitPath :: FilePath -> InternalGitPath
#ifndef __WINDOWS__
#ifndef mingw32_HOST_OS
toInternalGitPath = id
#else
toInternalGitPath = replace "\\" "/"
#endif
fromInternalGitPath :: InternalGitPath -> FilePath
#ifndef __WINDOWS__
#ifndef mingw32_HOST_OS
fromInternalGitPath = id
#else
fromInternalGitPath = replace "/" "\\"