diff options
author | Joey Hess <joey@kitenet.net> | 2014-02-24 18:21:51 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-02-24 18:21:51 -0400 |
commit | 1587a10c8a2ce9a573fcf1c286649404f365506b (patch) | |
tree | 38a7e2e109fc3190159dee5f96113a25acbcd7b5 /git-annex.cabal | |
parent | 2d10b1755fb8b12f0e793b56f64af57a368fb3a7 (diff) |
webdav: When built with DAV 0.6.0, use the new DAV monad to avoid locking files, which is not needed by git-annex's use of webdav, and does not work on Box.com.
Diffstat (limited to 'git-annex.cabal')
-rw-r--r-- | git-annex.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 8e3f3f388..a2e082cdc 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -133,7 +133,7 @@ Executable git-annex if flag(WebDAV) Build-Depends: DAV ((>= 0.3 && < 0.6) || > 0.6), - http-conduit, xml-conduit, http-types + http-conduit, xml-conduit, http-types, lifted-base CPP-Options: -DWITH_WEBDAV if flag(Assistant) && ! os(solaris) |