Increase build parallelism on circleci

This commit is contained in:
Thomas Kooi 2018-05-23 22:05:33 +02:00 committed by GitHub
parent c9d774eeeb
commit e916f3eb5b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,7 +14,7 @@ jobs:
- run:
name: Build
command: |
make -j 2
make -j 4
- deploy:
name: Update documentation and translation statistics
command: |