Don't die due to missing tool jgm/zip-archive#23

This commit is contained in:
Michael Snoyman 2015-01-23 00:09:10 +02:00
parent f5bbf9e547
commit b4586e991e

View File

@ -88,7 +88,9 @@ waitForDeps toolMap packageMap activeComps bp pi action = do
case lookup exe toolMap >>= fromNullable . map checkPackage . setToList of
Nothing
| isCoreExe exe -> return ()
| otherwise -> throwSTM $ ToolMissing exe
-- https://github.com/jgm/zip-archive/issues/23
-- | otherwise -> throwSTM $ ToolMissing exe
| otherwise -> return ()
Just packages -> ofoldl1' (<|>) packages
action
where