diff options
author | Joey Hess <joey@kitenet.net> | 2013-02-19 14:56:24 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-02-19 14:57:45 -0400 |
commit | 4e40b54a7516bbc9070faaef31254bd22154684e (patch) | |
tree | 084161e52b8ceef67c193a0e43600bbf60c9aec4 /Build | |
parent | ae3b28eb5bfd70ef6f59069ec59abb13ca193d3d (diff) |
Android: Support ssh connection caching.
Diffstat (limited to 'Build')
-rw-r--r-- | Build/Configure.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/Configure.hs b/Build/Configure.hs index b6e852d48..b6f2b773d 100644 --- a/Build/Configure.hs +++ b/Build/Configure.hs @@ -138,7 +138,6 @@ androidConfig c = overrides ++ filter (not . overridden) c overrides = [ Config "cp_reflink_auto" $ BoolConfig False , Config "curl" $ BoolConfig False - , Config "sshconnectioncaching" $ BoolConfig False , Config "sha224" $ MaybeStringConfig Nothing , Config "sha384" $ MaybeStringConfig Nothing ] |