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.

diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index 026c5507e152f780d0af6025d7497983427122c2..abe123bda0c0b7101c3374a0cc4ef19f8e0cbe8e 100755 (executable)
--- 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