From a8b7342e4c8d2bea119635f719c935368ae3d8df Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Mon, 30 Sep 2019 13:12:27 +0200
Subject: [PATCH] jenkins-build-all: enable deploy_process_logs for CI test

fdroidserver!515
---
 jenkins-build-all | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins-build-all b/jenkins-build-all
index 2765ab63..34b6dfd7 100755
--- a/jenkins-build-all
+++ b/jenkins-build-all
@@ -82,6 +82,7 @@ else
 fi
 
 echo "build_server_always = True" > config.py
+echo "deploy_process_logs = True" >> config.py
 # if the local mediawiki is available, then use it
 if nc -z -w1 localhost 32445; then
     wikiflag="--wiki"