fix CI again

This commit is contained in:
andri lim 2019-10-28 23:37:28 +07:00
parent f50fade5de
commit f93562b45a
No known key found for this signature in database
GPG Key ID: 31702AE10541E6B9
1 changed files with 1 additions and 1 deletions

View File

@ -42,7 +42,7 @@ install:
script:
- set -e # fail fast
- make -j2 update # allow detecting and building a new Nim compiler
- make -j${NPROC} NIMFLAGS="--parallelBuild:${NPROC}" update # to allow a newer Nim version to be detected
- make -j${NPROC} NIMFLAGS="--parallelBuild:${NPROC}"
- build/nimbus --help
- make -j${NPROC} NIMFLAGS="--parallelBuild:${NPROC}" test test-reproducibility