This commit is contained in:
Simon Cruanes 2017-12-24 16:54:00 +01:00
parent b7a250cef2
commit 787c9ad5d1

View file

@ -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