diff options
author | Joey Hess <joey@kitenet.net> | 2013-08-02 12:27:32 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-08-02 12:27:32 -0400 |
commit | 250a25c8572e557772a9973542f9cfca6ac10b9b (patch) | |
tree | 7d4aaa36a7d5b6c3c5e03fb844fb844da4c037d2 /Git/FilePath.hs | |
parent | a39c161ab377eed381186bc57953cd59d6188108 (diff) |
get rid of __WINDOWS__, use mingw32_HOST_OS
The latter is harder for me to remember, but avoids build failures in code
used by the configure program.
Diffstat (limited to 'Git/FilePath.hs')
-rw-r--r-- | Git/FilePath.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Git/FilePath.hs b/Git/FilePath.hs index c3813fe9e..891f9991d 100644 --- a/Git/FilePath.hs +++ b/Git/FilePath.hs @@ -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 "/" "\\" |