From 787c9ad5d13c164177437e5a9f2c104a5027e847 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 24 Dec 2017 16:54:00 +0100 Subject: [PATCH] travis --- .travis.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index ce889f30..59fed01e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -30,5 +30,6 @@ install: - opam install --deps-only containers script: - make build - - ./configure --enable-unix --enable-thread --enable-tests + - opam install sequence qcheck qtest gen + - ./configure --enable-unix --enable-thread --enable-tests --disable-bench - make test