From 2cf6110860f10d074928b2f4de2ff4547d2324d9 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Mon, 27 Nov 2017 09:58:51 +0100
Subject: [PATCH] jenkins-setup-build-env: actually run tests in the new
 buildserver VM

Oops, this has been failing, since it was running the build on the vm host,
not in the buildserver VM.
---
 jenkins-setup-build-environment | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index 026c5507..abe123bd 100755
--- a/jenkins-setup-build-environment
+++ b/jenkins-setup-build-environment
@@ -79,6 +79,7 @@ else
 fi
 
 cd fdroiddata
+echo "build_server_always = True" > config.py
 
 if [ -z $ANDROID_HOME ]; then
     if [ -e ~/.android/bashrc ]; then
-- 
2.30.2