Parallelize CI build

issue#70
Sébastien Villemot 2018-09-11 19:09:45 +02:00
parent 26c3926a2b
commit a8cd7a3346
1 changed files with 3 additions and 1 deletions

View File

@ -2,4 +2,6 @@ build:
script:
- autoreconf -si
- ./configure
- make all pdf html
- make -j$(nproc)
- make -j$(nproc) pdf
- make -j$(nproc) html