diff options
author | Joey Hess <joey@kitenet.net> | 2013-11-20 19:34:30 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-11-20 19:34:30 -0400 |
commit | a9c7cb20a6e0b183bb4488869e356c95c8e2a9bc (patch) | |
tree | fe881fa8617a6635ae926489f9134269364b2569 /Git/Repair.hs | |
parent | cf0c1a9321b988cd5168f5154bb08aa92089d9a9 (diff) |
merge from git-repair
Diffstat (limited to 'Git/Repair.hs')
-rw-r--r-- | Git/Repair.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Git/Repair.hs b/Git/Repair.hs index 2578f2c17..88150e44e 100644 --- a/Git/Repair.hs +++ b/Git/Repair.hs @@ -513,7 +513,10 @@ runRepairOf fsckresult forced referencerepo g = do else needforce S.empty ) | otherwise -> if forced - then continuerepairs s + then ifM (checkIndex s g) + ( continuerepairs s + , corruptedindex + ) else do putStrLn $ unwords [ show (S.size s) |