Merge remote-tracking branch 'origin/develop' into markjh/worker_config

1 files changed, 1 insertions, 0 deletions

diff --git a/jenkins-dendron-postgres.sh b/jenkins-dendron-postgres.sh

index d15836e6bf..7e6f24aa7d 100755
--- a/jenkins-dendron-postgres.sh
+++ b/jenkins-dendron-postgres.sh
@@ -80,6 +80,7 @@ echo >&2 "Running sytest with PostgreSQL";
                              --synapse-directory $WORKSPACE \
                              --dendron $WORKSPACE/dendron/bin/dendron \
                              --pusher \
+                             --synchrotron \
                              --port-base $PORT_BASE
 
 cd ..