path: root/ci/
diff options
authorLars Schneider <>2017-04-26 19:15:44 (GMT)
committerJunio C Hamano <>2017-04-27 01:19:09 (GMT)
commit505ad91304e1793ee588ccdcc2413c2e0af6f667 (patch)
treeae46d573a2bf132d5324411b204a550c91029469 /ci/
parent912b0ab149ba63f3f0d762b557cc209814874270 (diff)
travis-ci: check AsciiDoc/AsciiDoctor stderr output
`make` does not necessarily fail with an error code if Asciidoc/AsciiDoctor encounters problems. Anything written to stderr might be a better indicator for problems. Ensure that nothing is written to stderr during a documentation build. The redirects do not work in `sh`, therefore the script uses `bash`. This shouldn't be a problem as the script is only executed on TravisCI. Signed-off-by: Lars Schneider <> Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'ci/')
1 files changed, 6 insertions, 3 deletions
diff --git a/ci/ b/ci/
index 58962d6..6214e6a 100755
--- a/ci/
+++ b/ci/
@@ -1,4 +1,4 @@
+#!/usr/bin/env bash
# Perform sanity checks on documentation and build it.
@@ -9,7 +9,8 @@ make check-builtins
make check-docs
# Build docs with AsciiDoc
-make --jobs=2 doc
+make --jobs=2 doc > >(tee stdout.log) 2> >(tee stderr.log >&2)
+! test -s stderr.log
test -s Documentation/git.html
test -s Documentation/git.xml
test -s Documentation/git.1
@@ -17,6 +18,8 @@ grep '<meta name="generator" content="AsciiDoc ' Documentation/git.html
# Build docs with AsciiDoctor
make clean
-make --jobs=2 USE_ASCIIDOCTOR=1 doc
+make --jobs=2 USE_ASCIIDOCTOR=1 doc > >(tee stdout.log) 2> >(tee stderr.log >&2)
+sed '/^GIT_VERSION = / d' stderr.log
+! test -s stderr.log
test -s Documentation/git.html
grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html