Merge pull request #200 from mseri/master

 CA-281880: coverage, bisects names are not unique

Author: mseri

.coverage.sh

@@ -1,6 +1,7 @@
 language: c
 install:
   - wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-docker.sh
+  - wget https://raw.githubusercontent.com/xapi-project/xapi-travis-scripts/v0.1/coverage.sh
 script:
     - bash -ex .travis-docker.sh
 sudo: required
@@ -14,7 +15,7 @@ env:
     - DISTRO="debian-unstable"
   matrix:
     - BASE_REMOTE=git://github.com/xapi-project/xs-opam \
-      POST_INSTALL_HOOK="env TRAVIS=$TRAVIS TRAVIS_JOB_ID=$TRAVIS_JOB_ID bash -ex .coverage.sh"
+      POST_INSTALL_HOOK="env TRAVIS=$TRAVIS TRAVIS_JOB_ID=$TRAVIS_JOB_ID TEST_CMD='jbuilder runtest --no-buffer' bash -ex coverage.sh"
     - EXTRA_REMOTES=git://github.com/xapi-project/xs-opam
 matrix:
     fast_finish: true