on master help sign in
Parallel build of Idris
commit2509cfa745d95a4ead4994a80558d517e7247049 authorNiklas Larsson <niklas@mm.st> dateTue 20 Jun 2017, 21:39 (9 years ago) parente110171
1 file changed+1−1
.travis.yml+1−1
.travis.yml+1−1
@@ -129,7 +129,7 @@ script:
129129 - echo -en 'travis_fold:end:script.configure\\r'
130130###
131131 - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
132− - cabal build
132+ - cabal build -j4
133133 - echo -en 'travis_fold:end:script.build\\r'
134134###
135135 - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'