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 /Annex/Ssh.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 'Annex/Ssh.hs')
-rw-r--r-- | Annex/Ssh.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Annex/Ssh.hs b/Annex/Ssh.hs index 182cc0298..4fdac28ad 100644 --- a/Annex/Ssh.hs +++ b/Annex/Ssh.hs @@ -98,7 +98,7 @@ sshCleanup = go =<< sshCacheDir liftIO (catchDefaultIO [] $ dirContents dir) forM_ sockets cleanup cleanup socketfile = do -#ifndef __WINDOWS__ +#ifndef mingw32_HOST_OS -- Drop any shared lock we have, and take an -- exclusive lock, without blocking. If the lock -- succeeds, nothing is using this ssh, and it can |