diff options
| author | Lars Schneider <larsxschneider@gmail.com> | 2017-04-11 11:33:08 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-04-17 03:28:51 +0300 |
| commit | a6e69761424f7ad0dd050f6e4575a0679bed7240 (patch) | |
| tree | 29f70c11ad95a5e9e4c2b2b0fd1cb91c619dda30 /ci/test-documentation.sh | |
| parent | 159e6010c2d586acea9704993971365a804ea1ce (diff) | |
travis-ci: parallelize documentation build
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>
Diffstat (limited to 'ci/test-documentation.sh')
| -rwxr-xr-x | ci/test-documentation.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/test-documentation.sh b/ci/test-documentation.sh index bf23b2caea..58962d668a 100755 --- 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 |