diff options
Diffstat (limited to 'jenkins-postgres.sh')
| -rwxr-xr-x | jenkins-postgres.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jenkins-postgres.sh b/jenkins-postgres.sh index 876fabdc71..9ac86d2593 100755 --- a/jenkins-postgres.sh +++ b/jenkins-postgres.sh @@ -46,7 +46,8 @@ git checkout "${GIT_BRANCH}" || (echo >&2 "No ref ${GIT_BRANCH} found, falling b ./jenkins/prep_sytest_for_postgres.sh echo >&2 "Running sytest with PostgreSQL"; -./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 |