.travis: update to test the right packages

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
owlbarn · Feb 7, 2019 · 155efcd · 155efcd
1 parent 141eb70
commit 155efcd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -8,4 +8,5 @@ env:
   global:
   - PINS="owl-ode:. owl-ode-sundials:."
   matrix:
-  - PACKAGE="ode" DISTRO="debian-stable" OCAML_VERSION="4.07"
+  - PACKAGE="owl-ode" DISTRO="debian-stable" OCAML_VERSION="4.07"
+  - PACKAGE="owl-ode-sundials" DISTRO="debian-stable" OCAML_VERSION="4.07"