Merge branch 'ds/bsearch-hash'

diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh
index 1efee55ef79cdcf2ca07135eed76073b91d91ff9..109ef280da9884027f17fe7f233b6b818bd71393 100755 (executable)
--- a/ci/lib-travisci.sh
+++ b/ci/lib-travisci.sh
@@ -97,7 +97,7 @@ fi
 export DEVELOPER=1
 export DEFAULT_TEST_TARGET=prove
 export GIT_PROVE_OPTS="--timer --jobs 3 --state=failed,slow,save"
-export GIT_TEST_OPTS="--verbose-log"
+export GIT_TEST_OPTS="--verbose-log -x"
 export GIT_TEST_CLONE_2GB=YesPlease
 
 case "$jobname" in