From 250a25c8572e557772a9973542f9cfca6ac10b9b Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 2 Aug 2013 12:27:32 -0400 Subject: 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. --- Git/CurrentRepo.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Git/CurrentRepo.hs') diff --git a/Git/CurrentRepo.hs b/Git/CurrentRepo.hs index 2a8807488..777caa981 100644 --- a/Git/CurrentRepo.hs +++ b/Git/CurrentRepo.hs @@ -41,7 +41,7 @@ get = do return $ addworktree wt r where pathenv s = do -#ifndef __WINDOWS__ +#ifndef mingw32_HOST_OS v <- getEnv s case v of Just d -> do -- cgit v1.2.3