From 5119b69051ce630dce45f5a77a53eddb6b866ccf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Jan 2018 17:49:00 -0600 Subject: [PATCH] update travis script --- .travis.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index 8a93f975..902028a6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,12 +26,10 @@ before_install: install: # Install dependencies - opam pin add --no-action containers . - - opam install oasis + - opam install jbuilder - opam install --deps-only containers script: - - ./configure --enable-unix --enable-thread --disable-tests --disable-bench - make build - opam install sequence qcheck qtest gen - - ./configure --enable-unix --enable-thread --enable-tests --enable-docs --disable-bench - make test - make doc