From dcd0fdf9b92b5618a3c2620cf4aa016379d83478 Mon Sep 17 00:00:00 2001 From: Mike Lin Date: Sun, 13 Apr 2014 18:46:55 -0700 Subject: [PATCH] Use parallelism for the long Travis CI build. --- .travis-ci.sh | 2 +- .travis.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis-ci.sh b/.travis-ci.sh index 066e31f..d7bf67f 100644 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -1,4 +1,4 @@ -OPAM_DEPENDS="batteries gsl ocaml+twt ounit should" +OPAM_DEPENDS="batteries gsl ocaml+twt forkwork ounit should" sudo add-apt-repository -y ppa:avsm sudo apt-get update -qq diff --git a/.travis.yml b/.travis.yml index ab37d14..959dcaf 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,4 +3,4 @@ script: bash -ex .travis-ci.sh env: matrix: - SKIP_SLOW=1 - - DUMMY=1 + - FORKWORK=1