From 9b8075e79f070918f98a7197467e335ed5c29b8e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 9 Apr 2018 20:22:46 -0400 Subject: [PATCH] fix build --- Build/DistributionUpdate.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs index 147f793f8d..e3116f220e 100644 --- a/Build/DistributionUpdate.hs +++ b/Build/DistributionUpdate.hs @@ -15,6 +15,7 @@ import Utility.UserInfo import Utility.Url import Utility.Tmp.Dir import Utility.FileSystemEncoding +import Utility.Metered import qualified Git.Construct import qualified Annex import Annex.Content @@ -75,7 +76,8 @@ getbuild repodir (url, f) = do nukeFile tmp putStrLn $ "*** " ++ s return Nothing - ifM (download url tmp def noRetry) + uo <- defUrlOptions + ifM (download nullMeterUpdate tmp uo) ( ifM (liftIO $ virusFree tmp) ( do bv2 <- getbv