diff options
| author |  Lars Schneider <larsxschneider@gmail.com> | 2017-04-11 10:33:08 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-04-16 17:28:51 -0700 |
| commit | a6e69761424f7ad0dd050f6e4575a0679bed7240 (patch) | |
| tree | 29f70c11ad95a5e9e4c2b2b0fd1cb91c619dda30 /ci | |
| parent | travis-ci: build documentation with AsciiDoc and Asciidoctor (diff) | |
| download | tgif-a6e69761424f7ad0dd050f6e4575a0679bed7240.tar.xz | |
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')
| -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 |