fix build

This commit is contained in:
Joey Hess 2018-04-09 20:22:46 -04:00
parent b47c23bb5c
commit 9b8075e79f
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -15,6 +15,7 @@ import Utility.UserInfo
import Utility.Url import Utility.Url
import Utility.Tmp.Dir import Utility.Tmp.Dir
import Utility.FileSystemEncoding import Utility.FileSystemEncoding
import Utility.Metered
import qualified Git.Construct import qualified Git.Construct
import qualified Annex import qualified Annex
import Annex.Content import Annex.Content
@ -75,7 +76,8 @@ getbuild repodir (url, f) = do
nukeFile tmp nukeFile tmp
putStrLn $ "*** " ++ s putStrLn $ "*** " ++ s
return Nothing return Nothing
ifM (download url tmp def noRetry) uo <- defUrlOptions
ifM (download nullMeterUpdate tmp uo)
( ifM (liftIO $ virusFree tmp) ( ifM (liftIO $ virusFree tmp)
( do ( do
bv2 <- getbv bv2 <- getbv