fix build
This commit is contained in:
parent
1048c7f739
commit
0962c43bf7
1 changed files with 1 additions and 1 deletions
|
@ -271,7 +271,7 @@ getFinishAddDriveR drive = make >>= redirect . EditNewRepositoryR
|
||||||
{- Removable drives are not reliable media, so enable fsync. -}
|
{- Removable drives are not reliable media, so enable fsync. -}
|
||||||
liftIO $ inDir dir $
|
liftIO $ inDir dir $
|
||||||
setConfig (ConfigKey "core.fsyncobjectfiles")
|
setConfig (ConfigKey "core.fsyncobjectfiles")
|
||||||
(boolConfig True)
|
(Git.Config.boolConfig True)
|
||||||
r <- combineRepos dir remotename
|
r <- combineRepos dir remotename
|
||||||
liftAnnex $ setStandardGroup u TransferGroup
|
liftAnnex $ setStandardGroup u TransferGroup
|
||||||
liftAssistant $ syncRemote r
|
liftAssistant $ syncRemote r
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue