summary refs log tree commit diff
path: root/jenkins-sqlite.sh
diff options
context:
space:
mode:
Diffstat (limited to 'jenkins-sqlite.sh')
-rwxr-xr-xjenkins-sqlite.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/jenkins-sqlite.sh b/jenkins-sqlite.sh
index ff6664276d..345d01936c 100755
--- a/jenkins-sqlite.sh
+++ b/jenkins-sqlite.sh
@@ -40,7 +40,8 @@ cd sytest
 git checkout "${GIT_BRANCH}" || (echo >&2 "No ref ${GIT_BRANCH} found, falling back to develop" ; git checkout develop)
 
 : ${PORT_BASE:=8500}
-./jenkins/install_and_run.sh --python $TOX_BIN/python \
+./jenkins/install_and_run.sh --coverage \
+                             --python $TOX_BIN/python \
                              --synapse-directory $WORKSPACE \
                              --port-base $PORT_BASE