Skip to content
Snippets Groups Projects
Commit 35b0ad90 authored by Brandon Chinn's avatar Brandon Chinn Committed by Marge Bot
Browse files

Fix searching for errors in sphinx build

parent 17e309d2
No related merge requests found
......@@ -171,8 +171,14 @@ checkSphinxWarnings out = do
when ("undefined label:" `isInfixOf` log)
$ fail "Undefined labels found in Sphinx log."
when ("ERROR:" `isInfixOf` log)
when (any hasError (lines log))
$ fail "Errors found in the Sphinx log."
where
hasError line =
case words line of
_ : "ERROR:" : _ -> True
_ : "CRITICAL:" : _ -> True
_ -> False
-- | Check that all GHC flags are documented in the users guide.
checkUserGuideFlags :: FilePath -> Action ()
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment