travis: add PINS for charrua-client-{lwt,mirage}

Signed-off-by: David Scott <dave@recoil.org>
mirage · Aug 1, 2017 · 73405c6 · 73405c6
1 parent 9ae6bd4
commit 73405c6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -8,8 +8,7 @@ env:
   global:
   - PACKAGE="charrua-core"
   - TESTS=true
-  - PINS="charrua-client:. charrua-unix:."
-  - DEPOPTS="charrua-client charrua-unix"
+  - PINS="charrua-client:. charrua-unix:. charrua-client:. charrua-client-lwt:. charrua-client-mirage:."
   matrix:
   - DISTRO="alpine-3.5" OCAML_VERSION="4.03.0"
   - DISTRO="centos-6" OCAML_VERSION="4.04.1"