Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
travis-ci: parallelize documentation build
author
Lars Schneider
<larsxschneider@gmail.com>
Tue, 11 Apr 2017 08:33:08 +0000
(10:33 +0200)
committer
Junio C Hamano
<gitster@pobox.com>
Mon, 17 Apr 2017 00:28:51 +0000
(17:28 -0700)
The documentation job without parallelization takes ~10min on TravisCI.
With parallelization ("--jobs=2") it takes ~6min.
Signed-off-by: Lars Schneider <larsxschneider@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
ci/test-documentation.sh
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
159e601
)
diff --git
a/ci/test-documentation.sh
b/ci/test-documentation.sh
index bf23b2caea7be580e3f60c94617a5381d765a24d..58962d668a8922921d3b3ba30a4bf4a223dae05a 100755
(executable)
--- a/
ci/test-documentation.sh
+++ b/
ci/test-documentation.sh
@@
-9,7
+9,7
@@
make check-builtins
make check-docs
# Build docs with AsciiDoc
-make doc
+make
--jobs=2
doc
test -s Documentation/git.html
test -s Documentation/git.xml
test -s Documentation/git.1
@@
-17,6
+17,6
@@
grep '<meta name="generator" content="AsciiDoc ' Documentation/git.html
# Build docs with AsciiDoctor
make clean
-make USE_ASCIIDOCTOR=1 doc
+make
--jobs=2
USE_ASCIIDOCTOR=1 doc
test -s Documentation/git.html
grep '<meta name="generator" content="Asciidoctor ' Documentation/git.html